]> granicus.if.org Git - clang/commit
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Sat, 9 Feb 2019 00:46:12 +0000 (00:46 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Sat, 9 Feb 2019 00:46:12 +0000 (00:46 +0000)
commit7b7f1a3de9580d40d78b2e9e2d21f08adcab1362
tree005918a5703ead59866db4e4f47c9eaacc235d8f
parente1200565f6a11929c952254b039606440231db46
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
and commit a1853e834c65751f92521f7481b15cf0365e796b.

They broke arm and aarch64

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353590 91177308-0d34-0410-b5e6-96231b3b80d8
12 files changed:
CMakeLists.txt
cmake/modules/FindZ3.cmake [new file with mode: 0644]
include/clang/Config/config.h.cmake
include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h [new file with mode: 0644]
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
lib/StaticAnalyzer/Core/CMakeLists.txt
lib/StaticAnalyzer/Core/SMTConstraintManager.cpp [deleted file]
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp [new file with mode: 0644]
test/CMakeLists.txt
test/lit.site.cfg.py.in