Re: r353370 - Generalised the SMT state constraints

2019-02-11 Thread Mikhail Ramalho via cfe-commits
Hi Douglas, thank you for the report. We are discussing the issue in https://reviews.llvm.org/D54975. @michaelplatings said he found a solution and I asked him to run the tests locally. If it indeed fixes the issue, I'd say we push it. Em seg, 11 de fev de 2019 às 20:13, escreveu: > Hi

RE: r353370 - Generalised the SMT state constraints

2019-02-11 Thread via cfe-commits
Hi Mikhail, Your commit seems to be causing a build failure on our internal Windows build bot that uses Visual Studio 2015. Can you take a look? C:\src\upstream\llvm_clean\tools\clang\include\clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h(23): error C2872: 'ConstraintSMTTy':