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,620 Optional<CFGElement> findElementDirectlyInitializedByCurrentConstructor();
161 static bool canHaveDirectConstructor(CFGElement Elem){ in canHaveDirectConstructor()170 if (Elem.getKind() == CFGElement::Initializer) { in canHaveDirectConstructor()177 Optional<CFGElement>188 CFGElement Next = (*B)[NextStmtIdx]; in findElementDirectlyInitializedByCurrentConstructor()217 CFGElement Previous = (*B)[PreviousStmtIdx]; in findDirectConstructorForCurrentCFGElement()
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()574 case CFGElement::NewAllocator: in getLocationForCaller()
288 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()295 case CFGElement::Statement: in processCFGElement()298 case CFGElement::Initializer: in processCFGElement()301 case CFGElement::NewAllocator: in processCFGElement()305 case CFGElement::AutomaticObjectDtor: in processCFGElement()306 case CFGElement::DeleteDtor: in processCFGElement()307 case CFGElement::BaseDtor: in processCFGElement()308 case CFGElement::MemberDtor: in processCFGElement()309 case CFGElement::TemporaryDtor: in processCFGElement()547 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()[all …]
335 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()552 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
1017 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
691 for (CFGElement CE : llvm::reverse(*SrcBlock)) { in VisitGuardedExpr()
1545 Optional<CFGElement> First = BE->getFirstElement(); in GenerateExtensivePathDiagnostic()
52 const CFGElement &CE = *I; in Accumulate()
3865 case CFGElement::Statement: in getDestructorDecl()3866 case CFGElement::Initializer: in getDestructorDecl()3867 case CFGElement::NewAllocator: in getDestructorDecl()3870 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()3882 case CFGElement::DeleteDtor: { in getDestructorDecl()3890 case CFGElement::TemporaryDtor: { in getDestructorDecl()3896 case CFGElement::BaseDtor: in getDestructorDecl()3897 case CFGElement::MemberDtor: in getDestructorDecl()4188 const CFGElement &E) { in print_elem()
1380 case CFGElement::Statement: in run()1384 case CFGElement::TemporaryDtor: { in run()1395 case CFGElement::AutomaticObjectDtor: { in run()
739 case CFGElement::Statement: { in traverseCFG()2074 CFGElement Last = B->back(); in neverReturns()2299 case CFGElement::Statement: { in runAnalysis()2305 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
454 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()
171 if (B.getKind() != CFGElement::Statement) in hasRecursiveCallInPath()