================
@@ -294,6 +294,16 @@ ANALYZER_OPTION(
bool, ShouldUnrollLoops, "unroll-loops",
"Whether the analysis should try to unroll loops with known bounds.",
false)
+ANALYZER_OPTION(
+ bool, ShouldAssumeOneIteration, "assume-one-iteration",
+ "Whether the analyzer should always assume at least one iteration in "
----------------
NagyDonat wrote:
> How about the naive "assume-at-least-one-iteration"?
I felt that it's a bit too long, but if you prefer it (and other reviewers
aren't opposed), then I can accept it.
https://github.com/llvm/llvm-project/pull/125494
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
