[clang] [analyzer] Improve handling of unsigned values in ArrayBoundCheckerV2 (PR #81034)
Endre Fülöp via cfe-commits
cfe-commits at lists.llvm.org
Wed Feb 21 01:15:15 PST 2024
gamesh411 wrote:
I checked many false positives, even those that were not FP at first sight; I think we can live without them.
I also agree that we should strive to handle comparison evaluation more uniformly and preferably behind the API barrier of the constraint manager.
LGTM
https://github.com/llvm/llvm-project/pull/81034
More information about the cfe-commits
mailing list