[clang] [analyzer] Suppress out of bounds reports after weak loop assumptions (PR #109804)

[Pavel Skripkin via cfe-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/109804 at github.com>


pskrgag wrote:

I didn't have a chance to look into details, but I'd like to share that FP rate is MUCH lower with this patch applied. 

On real (proprietary) code base I see about 95% less `ArrayBoundV2` reports and, I hope, we will be able to turn it on CI (finally)

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