diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-03-26 14:25:12 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-03-26 14:25:12 +0000 |
| commit | 25f9094d89d01d4fb562ba0edcc2eb63f9e074d7 (patch) | |
| tree | 5aefb124c7d0f32ee3da34c24af6560cd999fdce /llvm/lib/Support | |
| parent | 9876addcf4eac2b3da610d95df285f4d7b24a65f (diff) | |
| download | bcm5719-llvm-25f9094d89d01d4fb562ba0edcc2eb63f9e074d7.tar.gz bcm5719-llvm-25f9094d89d01d4fb562ba0edcc2eb63f9e074d7.zip | |
Moved body of methods dump to .cpp file to fix compilation when modules
are enabled
llvm-svn: 356994
Diffstat (limited to 'llvm/lib/Support')
| -rw-r--r-- | llvm/lib/Support/Z3Solver.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index a8374522bda..5e40831db9e 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -824,3 +824,7 @@ 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()); } |
