================
@@ -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)) {
----------------
ymand wrote:
I don't understand this comparison. I was expecting:
`NumBlockVisitsIfVisitEachReachableOnce(CFG) >
static_cast<size_t>(MaxBlockVisits)`
but, I'm not sure what purpose this check is playing (especially since it seems
like it should be extremely rare.
https://github.com/llvm/llvm-project/pull/186808
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
