From be3fdc136766cb4f2c1fa5b785f3ce74e52f5565 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 1 Aug 2009 21:02:43 +0000
Subject: Add Expr::dump

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77802 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Expr/Expr.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/Expr/Expr.cpp')

diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index 3820fd32..b1bf9824 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -290,6 +290,11 @@ void Expr::print(std::ostream &os) const {
   ExprPPrinter::printSingleExpr(os, (Expr*)this);
 }
 
+void Expr::dump() const {
+  this->print(*llvm::cerr.stream());
+  llvm::cerr << std::endl;
+}
+
 /***/
 
 ref<Expr> ConstantExpr::fromMemory(void *address, Width width) {
-- 
cgit 1.4.1