Searched refs:processCFGElement (Results 1 – 4 of 4) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
|
| D | ExprEngine.h | 194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 337 SubEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
503 SubEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
|
| D | ExprEngine.cpp | 287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() function in ExprEngine
|