Searched refs:CMgr (Results 1 – 4 of 4) sorted by relevance
178 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local179 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
668 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local669 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()1362 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local1363 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()1373 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local1374 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
564 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local565 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
3417 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3418 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()