Home
last modified time | relevance | path

Searched refs:getPersistentState (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp110 ProgramStateRef Result = getPersistentState(NewState); in removeDeadBindings()
322 return getStateManager().getPersistentState(NewSt); in BindExpr()
391 return getPersistentState(State); in getInitialState()
399 return getPersistentState(NewState); in getPersistentStateWithGDM()
402 ProgramStateRef ProgramStateManager::getPersistentState(ProgramState &State) { in getPersistentState() function in ProgramStateManager
427 return getStateManager().getPersistentState(NewSt); in makeWithStore()
514 return getPersistentState(NewSt); in addGDM()
526 return getPersistentState(NewState); in removeGDM()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h533 ProgramStateRef getPersistentState(ProgramState &Impl);