[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