================
@@ -496,6 +519,14 @@ runTypeErasedDataflowAnalysis(
MaybeStartingEnv ? *MaybeStartingEnv : InitEnv;
const clang::CFG &CFG = ACFG.getCFG();
+ if (CFG.size() > static_cast<size_t>(MaxBlockVisits)) {
+ if (CFG.size() > NumBlockVisitsIfVisitEachReachableOnce(CFG)) {
----------------
jvoung wrote:
Oops, yes -- fixed the comparison, and added a test.
Added some comments too.
https://github.com/llvm/llvm-project/pull/186808
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
