Home
last modified time | relevance | path

Searched refs:CFGElement (Results 1 – 25 of 36) 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()
133 class CFGStmt : public CFGElement {
135 explicit CFGStmt(const Stmt *S, Kind K = Statement) : CFGElement(K, S) { in CFGElement() function
144 friend class CFGElement;
146 static bool isKind(const CFGElement &E) { in isKind()
171 friend class CFGElement;
[all …]
H A DProgramPoint.h241 std::optional<CFGElement> getFirstElement() const { in getFirstElement()
243 return B->empty() ? std::optional<CFGElement>() : B->front(); in getFirstElement()
/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,
339 &Diagnostics](const CFGElement &Elt,
353 &Diagnostics](const CFGElement &Elt,
398 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/StaticAnalyzer/Core/
H A DSymbolManager.cpp85 case CFGElement::Initializer: in getStmt()
90 case CFGElement::ScopeBegin: in getStmt()
92 case CFGElement::ScopeEnd: in getStmt()
94 case CFGElement::NewAllocator: in getStmt()
96 case CFGElement::LifetimeEnds: in getStmt()
98 case CFGElement::LoopExit: in getStmt()
100 case CFGElement::Statement: in getStmt()
102 case CFGElement::Constructor: in getStmt()
104 case CFGElement::CXXRecordTypedCall: in getStmt()
106 case CFGElement::AutomaticObjectDtor: in getStmt()
[all …]
H A DExprEngine.cpp967 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.cpp298 CFGElement LastElement = L.getSrc()->back(); in HandleBlockEdge()
351 if (std::optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()
599 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DPathDiagnostic.cpp520 CFGElement Source = Block[SFC->getIndex()]; in getLocationForCaller()
523 case CFGElement::Statement: in getLocationForCaller()
524 case CFGElement::Constructor: in getLocationForCaller()
525 case CFGElement::CXXRecordTypedCall: in getLocationForCaller()
528 case CFGElement::Initializer: { in getLocationForCaller()
533 case CFGElement::AutomaticObjectDtor: { in getLocationForCaller()
538 case CFGElement::DeleteDtor: { in getLocationForCaller()
542 case CFGElement::BaseDtor: in getLocationForCaller()
543 case CFGElement::MemberDtor: { in getLocationForCaller()
549 case CFGElement::NewAllocator: { in getLocationForCaller()
[all …]
H A DCFG.cpp5399 case CFGElement::Initializer: in getDestructorDecl()
5400 case CFGElement::NewAllocator: in getDestructorDecl()
5401 case CFGElement::LoopExit: in getDestructorDecl()
5402 case CFGElement::LifetimeEnds: in getDestructorDecl()
5403 case CFGElement::Statement: in getDestructorDecl()
5404 case CFGElement::Constructor: in getDestructorDecl()
5405 case CFGElement::CXXRecordTypedCall: in getDestructorDecl()
5406 case CFGElement::ScopeBegin: in getDestructorDecl()
5407 case CFGElement::ScopeEnd: in getDestructorDecl()
5408 case CFGElement::CleanupFunction: in getDestructorDecl()
[all …]
H A DCFGStmtMap.cpp52 const CFGElement &CE = *I; in Accumulate()
H A DReachableCode.cpp92 for (const CFGElement &CE : llvm::reverse(*Current)) { in isDeadReturn()
463 for (const CFGElement &Elem : *Block) in isInCoroutineStmt()
H A DThreadSafety.cpp786 case CFGElement::Statement: { in traverseCFG()
2416 CFGElement Last = B->back(); in neverReturns()
2653 case CFGElement::Statement: { in runAnalysis()
2659 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
2671 case CFGElement::CleanupFunction: { in runAnalysis()
2679 case CFGElement::TemporaryDtor: { in runAnalysis()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.h67 void transfer(const CFGElement &Elt, UncheckedOptionalAccessLattice &L,
86 operator()(const CFGElement &Elt, ASTContext &Ctx, in operator()
H A DChromiumCheckModel.h28 bool transfer(const CFGElement &Element, Environment &Env) override;
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp147 PrettyStackTraceCFGElement(const CFGElement &Element, int BlockIdx, in PrettyStackTraceCFGElement()
162 const CFGElement &Element;
394 static void builtinTransfer(unsigned CurBlockID, const CFGElement &Elt, in builtinTransfer()
398 case CFGElement::Statement: in builtinTransfer()
401 case CFGElement::Initializer: in builtinTransfer()
404 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()
117 for (const CFGElement &Element : *Block) in buildContainsExprConsumedInDifferentBlock()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DChromiumCheckModel.cpp54 bool ChromiumCheckModel::transfer(const CFGElement &Element, Environment &Env) { in transfer()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp119 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp201 for (const CFGElement &Elem : *CB) { in getUnreachableStmt()
H A DAnalysisOrderChecker.cpp165 CFGElement LastElement = Map->getBlock(S)->back(); in checkEndFunction()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h209 case CFGElement::Statement: in walk()
213 case CFGElement::AutomaticObjectDtor: { in walk()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h48 class CFGElement; variable
295 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
700 CFGElement getCurrentCFGElement() { in getCurrentCFGElement()

12