[PATCH] D54978: Move the SMT API to LLVM

[Adrian Prantl via Phabricator via llvm-commits]

aprantl added a comment.

Thanks!

The problem with these methods is that LLVM_DUMP_METHOD forces the function to be emitted even if it is not used and Clang modules without local submodule visibility will implicitly include all header files in a module, which will then cause the missing symbol error.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54978