about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2010-07-15 04:48:20 +0000
committerDaniel Dunbar <daniel@zuster.org>2010-07-15 04:48:20 +0000
commit2186b2adf493d02aacf363d6b91d978a49a6944b (patch)
tree9aa89192fbc8cdbc68cf66870f698e3143a748f0
parent366026e333ab226c12c23857388e8396f515acbe (diff)
downloadklee-2186b2adf493d02aacf363d6b91d978a49a6944b.tar.gz
Fix a -Wbool-conversion warning.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108404 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Expr/ExprPPrinter.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp
index 7130da97..6e7ccd2d 100644
--- a/lib/Expr/ExprPPrinter.cpp
+++ b/lib/Expr/ExprPPrinter.cpp
@@ -270,7 +270,7 @@ private:
     // right now, all Reads are byte reads but some
     // transformations might change this
     if (!base || base->getWidth() != Expr::Int8)
-      return false;
+      return NULL;
     
     // Get stride expr in proper index width.
     Expr::Width idxWidth = base->index->getWidth();