Home
last modified time | relevance | path

Searched refs:CFGElement (Results 1 – 25 of 29) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DCFG.h55 class CFGElement {
87 CFGElement(Kind kind, const void *Ptr1, const void *Ptr2 = nullptr)
93 CFGElement() = default;
102 CFGElement& e = t; in castAs()
113 CFGElement& e = t; in getAs()
132 class CFGStmt : public CFGElement {
134 explicit CFGStmt(const Stmt *S, Kind K = Statement) : CFGElement(K, S) { in CFGElement() function
143 friend class CFGElement;
145 static bool isKind(const CFGElement &E) { in isKind()
170 friend class CFGElement;
[all …]
H A DProgramPoint.h231 std::optional<CFGElement> getFirstElement() const { in getFirstElement()
233 return B->empty() ? std::optional<CFGElement>() : B->front(); in getFirstElement()
H A DAnalysisDeclContext.h333 CFGElement getCallSiteCFGElement() const { return (*Block)[Index]; } in getCallSiteCFGElement()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCFGMatchSwitch.h34 std::function<Result(const CFGElement &, ASTContext &, State &)>;
72 InitMS = std::move(InitBuilder).Build()](const CFGElement &Element, in Build()
76 case CFGElement::Initializer: in Build()
79 case CFGElement::Statement: in Build()
80 case CFGElement::Constructor: in Build()
81 case CFGElement::CXXRecordTypedCall: in Build()
H A DDataflowAnalysis.h120 void transferTypeErased(const CFGElement &Element, TypeErasedLattice &E, in transferTypeErased()
185 const CFGElement &,
201 const CFGElement &, ASTContext &,
241 [&PostAnalysisCallbacks](const CFGElement &Element,
254 [&PostAnalysisCallbacks](const CFGElement &Element,
355 &Diagnostics](const CFGElement &Elt,
369 &Diagnostics](const CFGElement &Elt,
414 virtual bool transfer(const CFGElement &Element, Environment &Env) = 0;
H A DTypeErasedDataflowAnalysis.h99 virtual void transferTypeErased(const CFGElement &, TypeErasedLattice &,
138 const CFGElement &, const TypeErasedDataflowAnalysisState &)>;
H A DLogger.h59 virtual void enterElement(const CFGElement &) {} in enterElement() argument
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DPathDiagnostic.cpp525 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()
528 case CFGElement::Statement: in getLocationForCaller()
529 case CFGElement::Constructor: in getLocationForCaller()
530 case CFGElement::CXXRecordTypedCall: in getLocationForCaller()
533 case CFGElement::Initializer: { in getLocationForCaller()
538 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()
543 case CFGElement::DeleteDtor: { in getLocationForCaller()
547 case CFGElement::BaseDtor: in getLocationForCaller()
548 case CFGElement::MemberDtor: { in getLocationForCaller()
554 case CFGElement::NewAllocator: { in getLocationForCaller()
[all …]
H A DCFG.cpp5290 case CFGElement::Initializer: in getDestructorDecl()
5291 case CFGElement::NewAllocator: in getDestructorDecl()
5292 case CFGElement::LoopExit: in getDestructorDecl()
5293 case CFGElement::LifetimeEnds: in getDestructorDecl()
5294 case CFGElement::Statement: in getDestructorDecl()
5295 case CFGElement::Constructor: in getDestructorDecl()
5296 case CFGElement::CXXRecordTypedCall: in getDestructorDecl()
5297 case CFGElement::ScopeBegin: in getDestructorDecl()
5298 case CFGElement::ScopeEnd: in getDestructorDecl()
5299 case CFGElement::CleanupFunction: in getDestructorDecl()
[all …]
H A DCFGStmtMap.cpp52 const CFGElement &CE = *I; in Accumulate()
H A DCalledOnceCheck.cpp755 for (const CFGElement &Element : llvm::reverse(*BB)) { in check()
1268 [&ReturnChildren](const CFGElement &Element) { in isPossiblyEmptyImpl()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp133 PrettyStackTraceCFGElement(const CFGElement &Element, int BlockIdx, in PrettyStackTraceCFGElement()
148 const CFGElement &Element;
379 static void builtinTransfer(unsigned CurBlockID, const CFGElement &Elt, in builtinTransfer()
383 case CFGElement::Statement: in builtinTransfer()
386 case CFGElement::Initializer: in builtinTransfer()
389 case CFGElement::LifetimeEnds: in builtinTransfer()
H A DLogger.cpp27 const CFGElement *CurrentElement;
77 virtual void enterElement(const CFGElement &Element) override { in enterElement()
H A DAdornedCFG.cpp35 for (const CFGElement &Element : *Block) { in buildStmtToBasicBlockMap()
118 for (const CFGElement &Element : *Block) in buildContainsExprConsumedInDifferentBlock()
H A DHTMLLogger.cpp244 void enterElement(const CFGElement &E) override { in enterElement()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/
H A DChromiumCheckModel.h28 bool transfer(const CFGElement &Element, Environment &Env) override;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp966 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
973 case CFGElement::Statement: in processCFGElement()
974 case CFGElement::Constructor: in processCFGElement()
975 case CFGElement::CXXRecordTypedCall: in processCFGElement()
978 case CFGElement::Initializer: in processCFGElement()
981 case CFGElement::NewAllocator: in processCFGElement()
985 case CFGElement::AutomaticObjectDtor: in processCFGElement()
986 case CFGElement::DeleteDtor: in processCFGElement()
987 case CFGElement::BaseDtor: in processCFGElement()
988 case CFGElement::MemberDtor: in processCFGElement()
[all …]
H A DCoreEngine.cpp263 CFGElement LastElement = L.getSrc()->back(); in HandleBlockEdge()
305 if (std::optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()
556 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
H A DCallEvent.cpp508 const CFGElement Element = StackFrame->getCallSiteCFGElement(); in getConstructionContext()
1462 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp123 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp201 for (const CFGElement &Elem : *CB) { in getUnreachableStmt()
H A DAnalysisOrderChecker.cpp166 CFGElement LastElement = Map->getBlock(S)->back(); in checkEndFunction()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h48 class CFGElement; variable
291 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
687 CFGElement getCurrentCFGElement() { in getCurrentCFGElement()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h208 case CFGElement::Statement: in walk()
212 case CFGElement::AutomaticObjectDtor: { in walk()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DAnalysisBasedWarnings.cpp218 if (B.getKind() != CFGElement::Statement) in hasRecursiveCallInPath()
355 for (CFGElement &E : *B) { in visitReachableThrows()
1143 for (const CFGElement &Elem : llvm::reverse(*P)) { in checkFallThroughIntoBlock()
1228 for (const CFGElement &Elem : llvm::reverse(B)) in getLastStmt()

12