[PATCH] D54975: [analyzer] Generalised the SMT state constraints
Michael Platings via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 11 01:46:12 PST 2019
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
More information about the llvm-commits
mailing list