[PATCH] D85528: [analyzer] Fix cast evaluation on scoped enums in ExprEngine

[Whisperity via Phabricator via cfe-commits]

whisperity added inline comments.


================
Comment at: clang/test/Analysis/z3-refute-enum-crash.cpp:5
+//
+// Requires z3 only for refutation. Works with both constraint managers.
+
----------------
You can have multiple `RUN` lines in the same test file, which will result in the tests potentially executed with multiple configuration.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D85528/new/

https://reviews.llvm.org/D85528