diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-07-15 04:48:20 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-07-15 04:48:20 +0000 |
commit | 2186b2adf493d02aacf363d6b91d978a49a6944b (patch) | |
tree | 9aa89192fbc8cdbc68cf66870f698e3143a748f0 | |
parent | 366026e333ab226c12c23857388e8396f515acbe (diff) | |
download | klee-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.cpp | 2 |
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(); |