Searched refs:CMgr (Results 1 – 6 of 6) sorted by relevance
129 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction() local130 CallEventRef<> Call = CMgr.getCaller(SFC, State); in checkEndFunction()
154 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local155 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
556 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local557 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
297 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local298 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
1829 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local1830 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()3086 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3087 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()3097 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3098 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local310 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1167 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local1171 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume()