Searched refs:CheckerState (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp373 ProgramStateRef CheckerState = (*I)->getState(); local
376 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
379 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
382 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
386 // Create a state based on CleanedState with CheckerState GDM and
389 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);

Completed in 154 milliseconds