Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
DExprEngine.h194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp337 SubEng.processCFGElement(*E, Pred, 0, &Ctx); in HandleBlockEntrance()
503 SubEng.processCFGElement((*B)[StmtIdx], Pred, StmtIdx, &Ctx); in HandlePostStmt()
DExprEngine.cpp288 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() function in ExprEngine