Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ConditionTruthVal

957     ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
2005     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
2016     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());