This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository clang.

from 6d763e31d2 [opaque pointer types] Make EmitCall pass Function Types to [...] new 617fd0c671 Generalised the SMT state constraints new ec66ced18a Got rid of the `Z3ConstraintManager` class new 4a37267fb4 Moved the whole SMT API to a single file. NFC. new 1684ef0300 Move the SMT API to LLVM

The 4 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: CMakeLists.txt | 27 +- cmake/modules/FindZ3.cmake | 51 -- include/clang/Config/config.h.cmake | 3 - .../Core/PathSensitive/SMTConstraintManager.h | 45 +- .../StaticAnalyzer/Core/PathSensitive/SMTConv.h | 227 +++--- .../StaticAnalyzer/Core/PathSensitive/SMTExpr.h | 61 -- .../StaticAnalyzer/Core/PathSensitive/SMTSolver.h | 302 -------- .../StaticAnalyzer/Core/PathSensitive/SMTSort.h | 90 --- lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 4 +- lib/StaticAnalyzer/Core/CMakeLists.txt | 16 +- lib/StaticAnalyzer/Core/SMTConstraintManager.cpp | 18 + lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp | 840 --------------------- test/CMakeLists.txt | 2 +- test/lit.site.cfg.py.in | 2 +- 14 files changed, 168 insertions(+), 1520 deletions(-) delete mode 100644 cmake/modules/FindZ3.cmake delete mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h delete mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h delete mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h create mode 100644 lib/StaticAnalyzer/Core/SMTConstraintManager.cpp delete mode 100644 lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp