Searched refs:CFGElement (Results 1 – 19 of 19) sorted by relevance
53 class CFGElement {75 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = nullptr)81 CFGElement() {} in CFGElement() function90 CFGElement& e = t; in castAs()102 CFGElement& e = t; in getAs()115 class CFGStmt : public CFGElement {117 CFGStmt(Stmt *S) : CFGElement(Statement, S) {} in CFGStmt()124 friend class CFGElement;126 static bool isKind(const CFGElement &E) { in isKind()133 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,
194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
548 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()551 case CFGElement::Statement: in getLocationForCaller()554 case CFGElement::Initializer: { in getLocationForCaller()559 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()564 case CFGElement::DeleteDtor: { in getLocationForCaller()568 case CFGElement::BaseDtor: in getLocationForCaller()569 case CFGElement::MemberDtor: { in getLocationForCaller()575 case CFGElement::TemporaryDtor: in getLocationForCaller()576 case CFGElement::NewAllocator: in getLocationForCaller()
287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()294 case CFGElement::Statement: in processCFGElement()297 case CFGElement::Initializer: in processCFGElement()300 case CFGElement::NewAllocator: in processCFGElement()304 case CFGElement::AutomaticObjectDtor: in processCFGElement()305 case CFGElement::DeleteDtor: in processCFGElement()306 case CFGElement::BaseDtor: in processCFGElement()307 case CFGElement::MemberDtor: in processCFGElement()308 case CFGElement::TemporaryDtor: in processCFGElement()542 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()[all …]
335 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()552 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
118 CFGElement Next = (*B)[NextStmtIdx]; in getRegionForConstructedObject()
959 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
668 CFGElement CE = *I; in VisitGuardedExpr()
1547 Optional<CFGElement> First = BE->getFirstElement(); in GenerateExtensivePathDiagnostic()
52 const CFGElement &CE = *I; in Accumulate()
3788 case CFGElement::Statement: in getDestructorDecl()3789 case CFGElement::Initializer: in getDestructorDecl()3790 case CFGElement::NewAllocator: in getDestructorDecl()3793 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()3805 case CFGElement::DeleteDtor: { in getDestructorDecl()3813 case CFGElement::TemporaryDtor: { in getDestructorDecl()3819 case CFGElement::BaseDtor: in getDestructorDecl()3820 case CFGElement::MemberDtor: in getDestructorDecl()4111 const CFGElement &E) { in print_elem()
1393 case CFGElement::Statement: in run()1397 case CFGElement::TemporaryDtor: { in run()1408 case CFGElement::AutomaticObjectDtor: { in run()
737 case CFGElement::Statement: { in traverseCFG()2069 CFGElement Last = B->back(); in neverReturns()2294 case CFGElement::Statement: { in runAnalysis()2300 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
455 const CFGElement &elem = *it; in runOnBlock()
125 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
189 case CFGElement::Statement: { in walk()193 case CFGElement::AutomaticObjectDtor: { in walk()
196 if (B.getKind() != CFGElement::Statement) in checkForFunctionCall()