Home
last modified time | relevance | path

Searched refs:processCallExit (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/
H A DREADME.txt76 In ExprEngine::processCallExit(), we always bind the object region to the
/llvm-project-15.0.7/clang/docs/analyzer/developer-docs/
H A DIPA.rst125 ExprEngine::inlineCall and ExprEngine::processCallExit.
139 2. ExprEngine takes over (in processCallExit) and finds the return value of the
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp203 ExprEng.processCallExit(Pred); in dispatchWorkItem()
H A DExprEngineCallAndReturn.cpp206 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit() function in ExprEngine
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h385 void processCallExit(ExplodedNode *Pred);