Searched refs:CFGElement (Results 1 – 16 of 16) sorted by relevance
| /external/clang/include/clang/Analysis/ |
| D | CFG.h | 47 class CFGElement {
68 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = 0)
73 CFGElement() {} in CFGElement() function
92 static bool classof(const CFGElement *E) { return true; } in classof()
95 class CFGStmt : public CFGElement {
97 CFGStmt(Stmt *S) : CFGElement(Statement, S) {} in CFGStmt()
103 static bool classof(const CFGElement *E) { in classof()
110 class CFGInitializer : public CFGElement {
113 : CFGElement(Initializer, initializer) {} in CFGInitializer()
119 static bool classof(const CFGElement *E) { in classof()
[all …]
|
| D | ProgramPoint.h | 184 const CFGElement getFirstElement() const { in getFirstElement()
186 return B->empty() ? CFGElement() : B->front(); in getFirstElement()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 23 class CFGElement; variable
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
|
| D | ExprEngine.h | 179 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | PathDiagnostic.cpp | 474 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()
477 case CFGElement::Invalid: in getLocationForCaller()
479 case CFGElement::Statement: in getLocationForCaller()
482 case CFGElement::Initializer: { in getLocationForCaller()
487 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()
492 case CFGElement::BaseDtor: in getLocationForCaller()
493 case CFGElement::MemberDtor: { in getLocationForCaller()
499 case CFGElement::TemporaryDtor: in getLocationForCaller()
|
| D | ExprEngine.cpp | 202 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
208 case CFGElement::Invalid: in processCFGElement()
210 case CFGElement::Statement: in processCFGElement()
213 case CFGElement::Initializer: in processCFGElement()
216 case CFGElement::AutomaticObjectDtor: in processCFGElement()
217 case CFGElement::BaseDtor: in processCFGElement()
218 case CFGElement::MemberDtor: in processCFGElement()
219 case CFGElement::TemporaryDtor: in processCFGElement()
415 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()
418 case CFGElement::BaseDtor: in ProcessImplicitDtor()
[all …]
|
| D | ExprEngineCXX.cpp | 66 CFGElement Next = (*B)[currStmtIdx+1]; in VisitCXXConstructExpr()
|
| D | CoreEngine.cpp | 334 if (CFGElement E = L.getFirstElement()) { in HandleBlockEntrance()
|
| D | CallEvent.cpp | 896 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
|
| D | ExprEngineC.cpp | 633 CFGElement CE = *I; in VisitGuardedExpr()
|
| /external/clang/lib/Analysis/ |
| D | CFGStmtMap.cpp | 52 const CFGElement &CE = *I; in Accumulate()
|
| D | CFG.cpp | 3296 case CFGElement::Invalid: in getDestructorDecl()
3297 case CFGElement::Statement: in getDestructorDecl()
3298 case CFGElement::Initializer: in getDestructorDecl()
3301 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()
3313 case CFGElement::TemporaryDtor: { in getDestructorDecl()
3319 case CFGElement::BaseDtor: in getDestructorDecl()
3320 case CFGElement::MemberDtor: in getDestructorDecl()
3686 const CFGElement &E) { in print_elem()
|
| D | LiveVariables.cpp | 465 const CFGElement &elem = *it; in runOnBlock()
|
| D | ThreadSafety.cpp | 1316 case CFGElement::Statement: { in traverseCFG()
2326 case CFGElement::Statement: { in runAnalysis()
2332 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | AnalyzerStatsChecker.cpp | 125 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
|
| /external/clang/include/clang/Analysis/FlowSensitive/ |
| D | DataflowSolver.h | 279 CFGElement El = *I;
295 CFGElement El = *I;
|