Searched defs:CMgr (Results 1 – 5 of 5) sorted by relevance
168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
1191 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local2349 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2360 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
2860 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local3682 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN() local