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

https://github.com/NagyDonat closed 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

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

https://github.com/gamesh411 approved this pull request. 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

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

=?utf-8?q?Don=C3=A1t?= Nagy , =?utf-8?q?Don=C3=A1t?= Nagy Message-ID: In-Reply-To: https://github.com/steakhal approved this pull request. https://github.com/llvm/llvm-project/pull/125494 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https

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

NagyDonat wrote: I updated the name of the option and tried to clarify the comments that describe the relationship with `eagerly-assume` (but it's just a mostly-theoretical buggy corner case, so I wouldn't put it into the minimal two-sentence documentation). @gamesh411 @steakhal Are you satis

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

https://github.com/NagyDonat edited 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

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

https://github.com/NagyDonat edited 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