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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
