Searched defs:CMgr (Results 1 – 5 of 5) sorted by relevance
137 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
547 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
327 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local
2072 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local3325 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local3336 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
307 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local1159 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local