diff options
| author | Adrian Prantl <aprantl@apple.com> | 2019-02-07 21:03:18 +0000 |
|---|---|---|
| committer | Adrian Prantl <aprantl@apple.com> | 2019-02-07 21:03:18 +0000 |
| commit | e794db8817c8789e7d6fb6d0d351e8bff991c48c (patch) | |
| tree | 0f8b41fe352d414539ca0b58b18a3facd5ae8366 /llvm/lib/Support/Z3Solver.cpp | |
| parent | 9d7e86a9782a10170efb73483e7ffb8bd077386c (diff) | |
| download | llvm-e794db8817c8789e7d6fb6d0d351e8bff991c48c.zip llvm-e794db8817c8789e7d6fb6d0d351e8bff991c48c.tar.gz llvm-e794db8817c8789e7d6fb6d0d351e8bff991c48c.tar.bz2 | |
Move SMTSolver dump() methods out-of-line.
This broke modularized non-local-submodule-visibility builds because
the function bodies pulled in extra dependencies.
llvm-svn: 353465
Diffstat (limited to 'llvm/lib/Support/Z3Solver.cpp')
| -rw-r--r-- | llvm/lib/Support/Z3Solver.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index 72f49ee..b4aacbd 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -824,3 +824,9 @@ llvm::SMTSolverRef llvm::CreateZ3Solver() { return nullptr; #endif } + +LLVM_DUMP_METHOD void SMTSort::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTExpr::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTSolver::dump() const { print(llvm::errs()); } + + |