From: Mikhail R. Gadelha <mikhail.ramalho@gmail.com>
Date: Tue, 26 Mar 2019 14:25:12 +0000 (+0000)
Subject: Moved body of methods dump to .cpp file to fix compilation when modules
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1b75f131c6748481d8dd4109db4fe90ce13c7d74;p=llvm

Moved body of methods dump to .cpp file to fix compilation when modules
are enabled

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356994 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/llvm/Support/SMTAPI.h b/include/llvm/Support/SMTAPI.h
index 418c251d5ac..8891faa998e 100644
--- a/include/llvm/Support/SMTAPI.h
+++ b/include/llvm/Support/SMTAPI.h
@@ -70,7 +70,7 @@ public:
 
   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 @@ public:
 
   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 @@ public:
   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 a8374522bda..5e40831db9e 100644
--- a/lib/Support/Z3Solver.cpp
+++ b/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()); }