[clang] [analyzer] Move alpha checker EnumCastOutOfRange to optin (PR #67157)
via cfe-commits
cfe-commits at lists.llvm.org
Tue Dec 5 09:55:39 PST 2023
=?utf-8?q?DonĂ¡t?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/67157 at github.com>
DonatNagyE wrote:
> > Before merging this PR, the diagnostics of the EnumCast checker should be updated to mention the name of the `enum` type in question. @gamesh411 could you create a PR that implements this improvement (as we discussed)?
>
> Yes, it should call out the enum, call out the value, and then _track_ the value (with `trackExpressionValue()`) in order to explain where it's coming from and why we think it's out of range.
These suggestions were mostly implemented in https://github.com/llvm/llvm-project/pull/68191/ , I created PR https://github.com/llvm/llvm-project/pull/74503 to implement the last missing part ("call out the value").
https://github.com/llvm/llvm-project/pull/67157
More information about the cfe-commits
mailing list