Searched defs:CMgr (Results 1 – 6 of 6) sorted by relevance
130 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); checkEndFunction() local
143 ConstraintManager &CMgr = State->getConstraintManager(); isLeaked() local
548 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
298 ConstraintManager &CMgr = state->getConstraintManager(); resolvePossiblyDestroyedMutex() local
1826 ConstraintManager &CMgr = State->getConstraintManager(); didPreviousFreeFail() local 3077 ConstraintManager &CMgr = state->getConstraintManager(); evalAssume() local 3088 ConstraintManager &CMgr = state->getConstraintManager(); evalAssume() local
308 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local