Searched defs:CMgr (Results 1 – 5 of 5) sorted by relevance
177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
573 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
1183 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local2341 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2352 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
2867 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local3689 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN() local