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

[Douglas Yung via Phabricator via llvm-commits]

dyung added a comment.

In D54975#1394068 <https://reviews.llvm.org/D54975#1394068>, @dyung wrote:

> Build and test passed for me with Visual Studio 2015 and on Linux. Should I submit the fix?


I committed the change in r353791. Hopefully this fixes the problem.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54975