Searched refs:PostVisit (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | HTMLLogger.cpp | 155 bool PostVisit; member
215 JOS.attribute("post_visit", E.PostVisit); in endAnalysis()
235 void enterBlock(const CFGBlock &B, bool PostVisit) override { in enterBlock() argument
239 Iters.push_back({&B, IterNum, PostVisit, /*Converged=*/false}); in enterBlock()
240 if (!PostVisit) in enterBlock()
271 bool PostVisit = Iters.back().PostVisit; in recordState() local
275 JOS.attribute("post_visit", PostVisit); in recordState()
328 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 | 2067 ExplodedNodeSet PostVisit; in Visit() local
2069 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), N, PostVisit); in Visit()
2070 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
2188 ExplodedNodeSet PostVisit; in Visit() local
2190 VisitCXXNewExpr(cast<CXXNewExpr>(S), i, PostVisit); in Visit()
2192 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); in Visit()
2202 ExplodedNodeSet PostVisit; in Visit() local
2203 getCheckerManager().runCheckersForPostStmt(PostVisit, PreVisit, S, *this); in Visit()
2205 for (const auto i : PostVisit) in Visit()
2351 ExplodedNodeSet PostVisit; in Visit() local
[all …]
|