This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository clang.
from df5b22a11e [clang-format ]Extend IncludeCategories regex documentation new 5f3a8d4376 [analyzer] Create generic SMT Context class new 7fffe4ec18 [analyzer] Moved static Context to class member new 143e570b29 [analyzer] Create generic SMT Sort Class new 9a5865c57c [analyzer] Create generic SMT Expr class new c42f637161 [analyzer] Implemented SMT generic API new 45c38892c8 [analyzer] Moved non solver specific code from Z3ConstraintM [...] new 877e8da78a [analyzer] Try to minimize the number of equivalent bug repo [...] new 375087785c [analyzer] Moved code from SMTConstraintManager to SMTSolver new 7179078a7a [analyzer] Removed API used by the Refutation Manager from S [...] new 18b6344a9d [analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in [...]
The 10 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: .../Core/PathSensitive/SMTConstraintManager.h | 54 +- .../StaticAnalyzer/Core/PathSensitive/SMTContext.h | 30 + .../StaticAnalyzer/Core/PathSensitive/SMTExpr.h | 57 + .../StaticAnalyzer/Core/PathSensitive/SMTSolver.h | 962 +++++++++ .../StaticAnalyzer/Core/PathSensitive/SMTSort.h | 71 + lib/StaticAnalyzer/Core/BugReporter.cpp | 21 +- lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 63 +- lib/StaticAnalyzer/Core/CMakeLists.txt | 1 + lib/StaticAnalyzer/Core/SMTConstraintManager.cpp | 180 ++ lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp | 2113 +++++++------------- 10 files changed, 2124 insertions(+), 1428 deletions(-) create mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h create mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h create mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h create mode 100644 include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h create mode 100644 lib/StaticAnalyzer/Core/SMTConstraintManager.cpp