Searched refs:CMgr (Results 1 – 5 of 5) sorted by relevance
168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local169 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym); in isLeaked()
565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local566 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); in checkDeadSymbols()
1191 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local1192 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret); in didPreviousFreeFail()2349 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2350 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()2360 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2361 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey()); in evalAssume()
2860 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local2861 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()3682 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3683 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()