Searched defs:CMgr (Results 1 – 5 of 5) sorted by relevance
177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
575 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
1179 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local2327 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2338 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
2846 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local3633 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN() local