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()
573 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local574 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
1183 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local1184 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()2341 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2342 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()2352 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2353 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2867 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local2868 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()