Searched refs:CMgr (Results 1 – 5 of 5) sorted by relevance
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local138 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
547 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local548 ConditionTruthVal AllocFailed = CMgr.isNull(State, Sym); in checkDeadSymbols()
327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local328 ConditionTruthVal retZero = CMgr.isNull(state, *sym); in resolvePossiblyDestroyedMutex()
2072 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local2073 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()3325 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3326 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()3336 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3337 ConditionTruthVal AllocFailed = CMgr.isNull(state, Sym); in evalAssume()
307 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local308 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1159 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local1163 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first); in evalAssume()