Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ConditionTruthVal

1184     ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
2342     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
2353     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());