[PATCH] D54978: Move the SMT API to LLVM

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: cfe/trunk/CMakeLists.txt:453
+if(NOT CLANG_ENABLE_STATIC_ANALYZER AND CLANG_ENABLE_ARCMT)
   message(FATAL_ERROR "Cannot disable static analyzer while enabling ARCMT or Z3")
 endif()
----------------
This message needs to be updated :)


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54978