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,
545 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()548 case CFGElement::Statement: in getLocationForCaller()551 case CFGElement::Initializer: { in getLocationForCaller()556 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()561 case CFGElement::DeleteDtor: { in getLocationForCaller()565 case CFGElement::BaseDtor: in getLocationForCaller()566 case CFGElement::MemberDtor: { in getLocationForCaller()572 case CFGElement::TemporaryDtor: in getLocationForCaller()573 case CFGElement::NewAllocator: in getLocationForCaller()
278 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()285 case CFGElement::Statement: in processCFGElement()288 case CFGElement::Initializer: in processCFGElement()291 case CFGElement::NewAllocator: in processCFGElement()295 case CFGElement::AutomaticObjectDtor: in processCFGElement()296 case CFGElement::DeleteDtor: in processCFGElement()297 case CFGElement::BaseDtor: in processCFGElement()298 case CFGElement::MemberDtor: in processCFGElement()299 case CFGElement::TemporaryDtor: in processCFGElement()533 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()[all …]
334 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()535 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()
1554 Optional<CFGElement> First = BE->getFirstElement(); in GenerateExtensivePathDiagnostic()
52 const CFGElement &CE = *I; in Accumulate()
3707 case CFGElement::Statement: in getDestructorDecl()3708 case CFGElement::Initializer: in getDestructorDecl()3709 case CFGElement::NewAllocator: in getDestructorDecl()3712 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()3724 case CFGElement::DeleteDtor: { in getDestructorDecl()3732 case CFGElement::TemporaryDtor: { in getDestructorDecl()3738 case CFGElement::BaseDtor: in getDestructorDecl()3739 case CFGElement::MemberDtor: in getDestructorDecl()4031 const CFGElement &E) { in print_elem()
1394 case CFGElement::Statement: in run()1398 case CFGElement::TemporaryDtor: { in run()1409 case CFGElement::AutomaticObjectDtor: { in run()
1333 case CFGElement::Statement: { in traverseCFG()2325 CFGElement Last = B->back(); in neverReturns()2543 case CFGElement::Statement: { in runAnalysis()2549 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
459 const CFGElement &elem = *it; in runOnBlock()
125 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
147 case CFGElement::Statement: { in walk()151 case CFGElement::AutomaticObjectDtor: { in walk()
194 if (B.getKind() != CFGElement::Statement) in checkForFunctionCall()