Searched refs:PostVisit (Results 1 – 4 of 4) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | HTMLLogger.cpp | 155 bool PostVisit; member
213 JOS->attribute("post_visit", E.PostVisit); in endAnalysis()
229 void enterBlock(const CFGBlock &B, bool PostVisit) override { in enterBlock() argument
233 Iters.push_back({&B, IterNum, PostVisit, /*Converged=*/false}); in enterBlock()
263 bool PostVisit = Iters.back().PostVisit; in recordState() local
267 JOS->attribute("post_visit", PostVisit); in recordState()
316 JOS->attribute("post_visit", Iter.PostVisit); in writeBlock()
|
| H A D | Logger.cpp | 60 virtual void enterBlock(const CFGBlock &Block, bool PostVisit) override { in enterBlock()
65 if (PostVisit) in enterBlock()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Logger.h | 55 virtual void enterBlock(const CFGBlock &, bool PostVisit) {} in enterBlock() argument
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 2176 ExplodedNodeSet PostVisit; in Visit() local
2178 VisitCXXNewExpr(cast<CXXNewExpr>(S), i, PostVisit); in Visit()
2180 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
2190 ExplodedNodeSet PostVisit; in Visit() local
2191 getCheckerManager().runCheckersForPostStmt(PostVisit, PreVisit, S, *this); in Visit()
2193 for (const auto i : PostVisit) in Visit()
2339 ExplodedNodeSet PostVisit; in Visit() local
2341 VisitOffsetOfExpr(cast<OffsetOfExpr>(S), Node, PostVisit); in Visit()
2343 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
|