From 1b75f131c6748481d8dd4109db4fe90ce13c7d74 Mon Sep 17 00:00:00 2001 From: "Mikhail R. Gadelha" Date: Tue, 26 Mar 2019 14:25:12 +0000 Subject: [PATCH] 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 --- include/llvm/Support/SMTAPI.h | 6 +++--- lib/Support/Z3Solver.cpp | 4 ++++ 2 files changed, 7 insertions(+), 3 deletions(-) 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()); } -- 2.50.1