Searched refs:CFGElement (Results 1 – 18 of 18) sorted by relevance
50 class CFGElement {71 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = 0)75 CFGElement() {} in CFGElement() function84 CFGElement& e = t; in castAs()96 CFGElement& e = t; in getAs()109 class CFGStmt : public CFGElement {111 CFGStmt(Stmt *S) : CFGElement(Statement, S) {} in CFGStmt()118 friend class CFGElement;120 static bool isKind(const CFGElement &E) { in isKind()127 class CFGInitializer : public CFGElement {[all …]
205 Optional<CFGElement> getFirstElement() const { in getFirstElement()207 return B->empty() ? Optional<CFGElement>() : B->front(); in getFirstElement()
23 class CFGElement; variable56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
195 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
546 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()549 case CFGElement::Statement: in getLocationForCaller()552 case CFGElement::Initializer: { in getLocationForCaller()557 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()562 case CFGElement::DeleteDtor: { in getLocationForCaller()566 case CFGElement::BaseDtor: in getLocationForCaller()567 case CFGElement::MemberDtor: { in getLocationForCaller()573 case CFGElement::TemporaryDtor: in getLocationForCaller()
276 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()283 case CFGElement::Statement: in processCFGElement()286 case CFGElement::Initializer: in processCFGElement()289 case CFGElement::AutomaticObjectDtor: in processCFGElement()290 case CFGElement::DeleteDtor: in processCFGElement()291 case CFGElement::BaseDtor: in processCFGElement()292 case CFGElement::MemberDtor: in processCFGElement()293 case CFGElement::TemporaryDtor: in processCFGElement()527 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()530 case CFGElement::BaseDtor: in ProcessImplicitDtor()[all …]
129 CFGElement Next = (*B)[currStmtIdx+1]; in VisitCXXConstructExpr()
334 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()
967 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
660 CFGElement CE = *I; in VisitGuardedExpr()
1553 Optional<CFGElement> First = BE->getFirstElement(); in GenerateExtensivePathDiagnostic()
52 const CFGElement &CE = *I; in Accumulate()
3427 case CFGElement::Statement: in getDestructorDecl()3428 case CFGElement::Initializer: in getDestructorDecl()3431 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()3443 case CFGElement::DeleteDtor: { in getDestructorDecl()3451 case CFGElement::TemporaryDtor: { in getDestructorDecl()3457 case CFGElement::BaseDtor: in getDestructorDecl()3458 case CFGElement::MemberDtor: in getDestructorDecl()3712 const CFGElement &E) { in print_elem()
1455 case CFGElement::Statement: in run()1459 case CFGElement::TemporaryDtor: { in run()1469 case CFGElement::AutomaticObjectDtor: { in run()
1365 case CFGElement::Statement: { in traverseCFG()2322 CFGElement Last = B->back(); in neverReturns()2545 case CFGElement::Statement: { in runAnalysis()2551 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
474 const CFGElement &elem = *it; in runOnBlock()
278 CFGElement El = *I;294 CFGElement El = *I;
125 const CFGElement &CE = Exit->front(); in checkEndAnalysis()