[PATCH] D54978: Move the SMT API to LLVM

guangqing.chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 28 18:32:36 PDT 2019


gou4shi1 added a comment.

My own out-of-tree pass `#include <llvm/Support/SMTAPI.h>` and use cmake's `add_llvm_library` to compile it into a `.so`
However, `opt -load-pass-plugin=my-pass.so -passes="foo" bar.ll` fails:
`opt: symbol lookup error: Passes/libStackPasses.so: undefined symbol: _ZN4llvm14CreateZ3SolverEv`
(c++filt: `llvm::CreateZ3Solver()`)
If I move the content of `Z3Solver.cpp` into another file of `llvm/Support` (like `llvm/Support/raw_ostream.cpp`)
everything works.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54978





More information about the cfe-commits mailing list