[PATCH] D85528: [analyzer] Fix cast evaluation on scoped enums in ExprEngine
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 22 06:08:05 PDT 2022
martong added a comment.
I'd like to have a guarantee that if `Opts.ShouldSupportSymbolicIntegerCasts` is set to `true` then the `SymboCast` is produced both for the scoped and the unscoped enums. Could you please have an additional lit test for that? At some point we'd like to make `ShouldSupportSymbolicIntegerCasts` to be `true` by default, thus in the existing test it would be better to explicitly have `-analyzer-config support-symbolic-integer-casts=false` set.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85528/new/
https://reviews.llvm.org/D85528
More information about the cfe-commits
mailing list