Home
last modified time | relevance | path

Searched refs:getPersistentStateWithGDM (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h542 ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp373 ProgramStateRef ProgramStateManager::getPersistentStateWithGDM( in getPersistentStateWithGDM() function in ProgramStateManager
DExprEngine.cpp419 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState); in removeDead()