[PATCH] D85528: [analyzer] Fix cast evaluation on scoped enums in ExprEngine
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 10 08:07:12 PDT 2020
xazax.hun added a comment.
In D85528#2205799 <https://reviews.llvm.org/D85528#2205799>, @NoQ wrote:
> I expect at least one LIT test //without// `-analyzer-config crosscheck-with-z3=true`
Agreed. I think the code snippet I proposed would be a great test to include with this revision.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D85528/new/
https://reviews.llvm.org/D85528
More information about the cfe-commits
mailing list