Searched refs:CMgr (Results 1 – 6 of 6) sorted by relevance
130 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction() local131 CallEventRef<> Call = CMgr.getCaller(SFC, State); in checkEndFunction()
143 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local144 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
548 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local549 ConditionTruthVal AllocFailed = CMgr.isNull(State, Sym); in checkDeadSymbols()
298 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local299 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
1826 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local1827 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()3077 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3078 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()3088 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3089 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local309 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local1170 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume()