Home | History | Annotate | Download | only in Checkers

Lines Matching refs:CMgr

846     ConstraintManager &CMgr = State->getConstraintManager();
847     ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
1817     ConstraintManager &CMgr = state->getConstraintManager();
1818     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
1828     ConstraintManager &CMgr = state->getConstraintManager();
1829     ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());