Home | History | Annotate | Download | only in Checkers

Lines Matching refs:ConditionTruthVal

847     ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
1818     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
1829     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());