[PATCH] D54975: [analyzer] Generalised the SMT state constraints

[Michael Platings via Phabricator via llvm-commits]

michaelplatings added a comment.

In D54975#1391441 <https://reviews.llvm.org/D54975#1391441>, @mikhail.ramalho wrote:

> @michaelplatings, thanks for the report.
>
> That's weird, did you try to run the tests? You can do it with ninja check-clang-analyzer-z3


If you look at the lines referenced by the error you may find it less weird - the patch adds a typedef that has the same name as a `using` statement added by the `REGISTER_TRAIT_WITH_PROGRAMSTATE` macro.

To be clear, this patch breaks compilation with Visual Studio 2015. Running tests requires that the code can be built, so no I didn't run the tests.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54975