[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