[clang] [analyzer][NFC] Add option assume-one-iteration (PR #125494)

[Donát Nagy via cfe-commits]

================
@@ -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:

I agree, but I cannot think of a name that reflects that without being awkwardly long. Perhaps "may-assume-skipped-loop" (with a negated meaning i.e. the default is true)?

https://github.com/llvm/llvm-project/pull/125494