Searched refs:PostVisit (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | HTMLLogger.cpp | 154 bool PostVisit; member
214 JOS.attribute("post_visit", E.PostVisit); in endAnalysis()
234 void enterBlock(const CFGBlock &B, bool PostVisit) override { in enterBlock() argument
238 Iters.push_back({&B, IterNum, PostVisit, /*Converged=*/false}); in enterBlock()
239 if (!PostVisit) in enterBlock()
270 bool PostVisit = Iters.back().PostVisit; in recordState() local
274 JOS.attribute("post_visit", PostVisit); in recordState()
327 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/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/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 2088 ExplodedNodeSet PostVisit; in Visit() local
2090 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), N, PostVisit); in Visit()
2091 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
2209 ExplodedNodeSet PostVisit; in Visit() local
2211 VisitCXXNewExpr(cast<CXXNewExpr>(S), i, PostVisit); in Visit()
2213 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
2223 ExplodedNodeSet PostVisit; in Visit() local
2224 getCheckerManager().runCheckersForPostStmt(PostVisit, PreVisit, S, *this); in Visit()
2226 for (const auto i : PostVisit) in Visit()
2372 ExplodedNodeSet PostVisit; in Visit() local
[all …]
|