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 …]
228 Optional<CFGElement> getFirstElement() const { in getFirstElement()230 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,631 Optional<CFGElement> findElementDirectlyInitializedByCurrentConstructor();
544 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()547 case CFGElement::Statement: in getLocationForCaller()550 case CFGElement::Initializer: { in getLocationForCaller()555 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()560 case CFGElement::DeleteDtor: { in getLocationForCaller()564 case CFGElement::BaseDtor: in getLocationForCaller()565 case CFGElement::MemberDtor: { in getLocationForCaller()571 case CFGElement::TemporaryDtor: in getLocationForCaller()572 case CFGElement::NewAllocator: in getLocationForCaller()
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()
289 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()296 case CFGElement::Statement: in processCFGElement()299 case CFGElement::Initializer: in processCFGElement()302 case CFGElement::NewAllocator: in processCFGElement()306 case CFGElement::AutomaticObjectDtor: in processCFGElement()307 case CFGElement::DeleteDtor: in processCFGElement()308 case CFGElement::BaseDtor: in processCFGElement()309 case CFGElement::MemberDtor: in processCFGElement()310 case CFGElement::TemporaryDtor: in processCFGElement()548 case CFGElement::AutomaticObjectDtor: in ProcessImplicitDtor()[all …]
347 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()569 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
1094 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
702 for (CFGElement CE : llvm::reverse(*SrcBlock)) { in VisitGuardedExpr()
1545 Optional<CFGElement> First = BE->getFirstElement(); in GenerateExtensivePathDiagnostic()
52 const CFGElement &CE = *I; in Accumulate()
3897 case CFGElement::Statement: in getDestructorDecl()3898 case CFGElement::Initializer: in getDestructorDecl()3899 case CFGElement::NewAllocator: in getDestructorDecl()3902 case CFGElement::AutomaticObjectDtor: { in getDestructorDecl()3914 case CFGElement::DeleteDtor: { in getDestructorDecl()3922 case CFGElement::TemporaryDtor: { in getDestructorDecl()3928 case CFGElement::BaseDtor: in getDestructorDecl()3929 case CFGElement::MemberDtor: in getDestructorDecl()4220 const CFGElement &E) { in print_elem()
1386 case CFGElement::Statement: in run()1390 case CFGElement::TemporaryDtor: { in run()1401 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()