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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp748 ProgramStateRef CheckerState = I->getState(); local
751 CheckerState =
752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);
754 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&
757 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&
761 // Create a state based on CleanedState with CheckerState GDM and
764 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);

Completed in 45 milliseconds