| /llvm-project-15.0.7/clang/include/clang/Analysis/ |
| H A D | CFG.h | 55 class CFGElement {
92 CFGElement() = default;
101 CFGElement& e = t; in castAs()
113 CFGElement& e = t; in getAs()
143 friend class CFGElement;
169 friend class CFGElement;
215 friend class CFGElement;
236 friend class CFGElement;
257 friend class CFGElement;
281 friend class CFGElement;
[all …]
|
| H A D | ProgramPoint.h | 236 Optional<CFGElement> getFirstElement() const { in getFirstElement()
238 return B->empty() ? Optional<CFGElement>() : B->front(); in getFirstElement()
|
| H A D | AnalysisDeclContext.h | 333 CFGElement getCallSiteCFGElement() const { return (*Block)[Index]; } in getCallSiteCFGElement()
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | PathDiagnostic.cpp | 530 case CFGElement::Statement: in getLocationForCaller()
531 case CFGElement::Constructor: in getLocationForCaller()
535 case CFGElement::Initializer: { in getLocationForCaller()
545 case CFGElement::DeleteDtor: { in getLocationForCaller()
549 case CFGElement::BaseDtor: in getLocationForCaller()
550 case CFGElement::MemberDtor: { in getLocationForCaller()
556 case CFGElement::NewAllocator: { in getLocationForCaller()
568 case CFGElement::ScopeBegin: in getLocationForCaller()
569 case CFGElement::ScopeEnd: in getLocationForCaller()
571 case CFGElement::LifetimeEnds: in getLocationForCaller()
[all …]
|
| H A D | CFG.cpp | 5226 case CFGElement::Initializer: in getDestructorDecl()
5227 case CFGElement::NewAllocator: in getDestructorDecl()
5228 case CFGElement::LoopExit: in getDestructorDecl()
5229 case CFGElement::LifetimeEnds: in getDestructorDecl()
5230 case CFGElement::Statement: in getDestructorDecl()
5231 case CFGElement::Constructor: in getDestructorDecl()
5233 case CFGElement::ScopeBegin: in getDestructorDecl()
5234 case CFGElement::ScopeEnd: in getDestructorDecl()
5263 case CFGElement::DeleteDtor: { in getDestructorDecl()
5277 case CFGElement::BaseDtor: in getDestructorDecl()
[all …]
|
| H A D | CFGStmtMap.cpp | 51 const CFGElement &CE = *I; in Accumulate()
|
| H A D | Consumed.cpp | 1344 case CFGElement::Statement: in run()
1348 case CFGElement::TemporaryDtor: { in run()
1359 case CFGElement::AutomaticObjectDtor: { in run()
|
| H A D | ThreadSafety.cpp | 777 case CFGElement::Statement: { in traverseCFG()
2219 CFGElement Last = B->back(); in neverReturns()
2402 case CFGElement::Statement: { in runAnalysis()
2408 case CFGElement::AutomaticObjectDtor: { in runAnalysis()
|
| H A D | CalledOnceCheck.cpp | 755 for (const CFGElement &Element : llvm::reverse(*BB)) { in check()
1267 [&ReturnChildren](const CFGElement &Element) { in isPossiblyEmptyImpl()
|
| H A D | ReachableCode.cpp | 90 for (const CFGElement &CE : llvm::reverse(*Current)) { in isDeadReturn()
|
| H A D | LiveVariables.cpp | 491 const CFGElement &elem = *it; in runOnBlock()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysis.cpp | 314 for (const CFGElement &Element : Block) { in transferBlock()
316 case CFGElement::Statement: in transferBlock()
320 case CFGElement::Initializer: in transferBlock()
|
| H A D | ControlFlowContext.cpp | 34 for (const CFGElement &Element : *Block) { in buildStmtToBasicBlockMap()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 803 case CFGElement::Statement: in processCFGElement()
816 case CFGElement::DeleteDtor: in processCFGElement()
817 case CFGElement::BaseDtor: in processCFGElement()
818 case CFGElement::MemberDtor: in processCFGElement()
822 case CFGElement::LoopExit: in processCFGElement()
826 case CFGElement::ScopeBegin: in processCFGElement()
827 case CFGElement::ScopeEnd: in processCFGElement()
1081 case CFGElement::BaseDtor: in ProcessImplicitDtor()
1084 case CFGElement::MemberDtor: in ProcessImplicitDtor()
1090 case CFGElement::DeleteDtor: in ProcessImplicitDtor()
[all …]
|
| H A D | CoreEngine.cpp | 275 CFGElement LastElement = L.getSrc()->back(); in HandleBlockEdge()
317 if (Optional<CFGElement> E = L.getFirstElement()) { in HandleBlockEntrance()
569 if ((*Block)[Idx].getKind() == CFGElement::NewAllocator) { in enqueueStmtNode()
|
| H A D | CallEvent.cpp | 468 const CFGElement Element = StackFrame->getCallSiteCFGElement(); in getConstructionContext()
1391 CFGElement E = (*B)[CalleeCtx->getIndex()]; in getCaller()
|
| H A D | ExprEngineC.cpp | 825 for (CFGElement CE : llvm::reverse(*SrcBlock)) { in VisitGuardedExpr()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 125 const CFGElement &CE = Exit->front(); in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 166 CFGElement LastElement = Map->getBlock(S)->back(); in checkEndFunction()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 47 class CFGElement; variable
298 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
696 CFGElement getCurrentCFGElement() { in getCurrentCFGElement()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 207 case CFGElement::Statement: in walk()
211 case CFGElement::AutomaticObjectDtor: { in walk()
|
| /llvm-project-15.0.7/clang/lib/Sema/ |
| H A D | AnalysisBasedWarnings.cpp | 191 if (B.getKind() != CFGElement::Statement) in hasRecursiveCallInPath()
328 for (CFGElement &E : *B) { in visitReachableThrows()
1115 for (const CFGElement &Elem : llvm::reverse(*P)) { in checkFallThroughIntoBlock()
1200 for (const CFGElement &Elem : llvm::reverse(B)) in getLastStmt()
|