Move SMTSolver dump() methods out-of-line.
This broke modularized non-local-submodule-visibility builds because
the function bodies pulled in extra dependencies.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353465 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/include/llvm/Support/SMTAPI.h b/include/llvm/Support/SMTAPI.h
index 418c251..8891faa 100644
--- a/include/llvm/Support/SMTAPI.h
+++ b/include/llvm/Support/SMTAPI.h
@@ -70,7 +70,7 @@
virtual void print(raw_ostream &OS) const = 0;
- LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); }
+ LLVM_DUMP_METHOD void dump() const;
protected:
/// Query the SMT solver and returns true if two sorts are equal (same kind
@@ -117,7 +117,7 @@
virtual void print(raw_ostream &OS) const = 0;
- LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); }
+ LLVM_DUMP_METHOD void dump() const;
protected:
/// Query the SMT solver and returns true if two sorts are equal (same kind
@@ -138,7 +138,7 @@
SMTSolver() = default;
virtual ~SMTSolver() = default;
- LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); }
+ LLVM_DUMP_METHOD void dump() const;
// Returns an appropriate floating-point sort for the given bitwidth.
SMTSortRef getFloatSort(unsigned BitWidth) {
diff --git a/lib/Support/Z3Solver.cpp b/lib/Support/Z3Solver.cpp
index 72f49ee..b4aacbd 100644
--- a/lib/Support/Z3Solver.cpp
+++ b/lib/Support/Z3Solver.cpp
@@ -824,3 +824,9 @@
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()); }
+
+
