Searched refs:CMgr (Results 1 – 5 of 5) sorted by relevance
177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local178 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
574 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local575 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
1179 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local1180 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()2328 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2329 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()2339 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2340 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2865 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local2866 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()3689 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3690 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN() local520 if (const llvm::APSInt *Constant = CMgr.getSymVal(state, Sym)) { in evalBinOpNN()