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

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

> 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.

Maybe I didn't express myself very clearly: if you change it to `ConstraintSMTType`, do the tests pass?

If so, I don't see why not pushing the fix. Unfortunately, I don't have Windows to test it.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54975