Home
last modified time | relevance | path

Searched refs:ReplayWithoutInlining (Results 1 – 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h635 struct ReplayWithoutInlining{}; struct
637 struct ProgramStateTrait<ReplayWithoutInlining> :
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineCallAndReturn.cpp473 const void *ReplayState = State->get<ReplayWithoutInlining>(); in getInlineFailedState()
480 return State->remove<ReplayWithoutInlining>(); in getInlineFailedState()
DExprEngine.cpp1382 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE)); in replayWithoutInlining()
/external/clang/docs/analyzer/
DIPA.txt158 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The