Home
last modified time | relevance | path

Searched refs:getInitialState (Results 1 – 9 of 9) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
DExprEngine.h157 ProgramStateRef getInitialState(const LocationContext *InitLoc) override;
DProgramState.h486 ProgramStateRef getInitialState(const LocationContext *InitLoc);
/external/clang/lib/Format/
DContinuationIndenter.h48 LineState getInitialState(unsigned FirstIndent, const AnnotatedLine *Line,
DUnwrappedLineFormatter.cpp586 Indenter->getInitialState(FirstIndent, &Line, /*DryRun=*/false); in formatLine()
611 LineState State = Indenter->getInitialState(FirstIndent, &Line, DryRun); in formatLine()
633 LineState State = Indenter->getInitialState(FirstIndent, &Line, DryRun); in formatLine()
DContinuationIndenter.cpp76 LineState ContinuationIndenter::getInitialState(unsigned FirstIndent, in getInitialState() function in clang::format::ContinuationIndenter
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp195 InitState = SubEng.getInitialState(L); in ExecuteWorkList()
DProgramState.cpp364 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) { in getInitialState() function in ProgramStateManager
DExprEngine.cpp105 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState() function in ExprEngine
106 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()