diff options
| author | Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de> | 2018-05-20 16:03:51 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-24 14:53:51 +0100 |
| commit | 843e9be8fc10c6ffb30218c5a826aab192a31955 (patch) | |
| tree | f603f5d97c2e8c394008f7ab9270fd08d0ff3063 /lib/Expr/ExprPPrinter.cpp | |
| parent | 79ff6c386cde0776b394283b0003ebcb840b19dd (diff) | |
| download | klee-843e9be8fc10c6ffb30218c5a826aab192a31955.tar.gz | |
isLSB should be a boolean, as it is only used in truth contexts
Diffstat (limited to 'lib/Expr/ExprPPrinter.cpp')
| -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 1682d9b5..58b8de7c 100644 --- a/lib/Expr/ExprPPrinter.cpp +++ b/lib/Expr/ExprPPrinter.cpp @@ -380,7 +380,7 @@ public: // a declaration. if (PCMultibyteReads && e->getKind() == Expr::Concat) { const ReadExpr *base = hasOrderedReads(e, -1); - int isLSB = (base != NULL); + const bool isLSB = (base != nullptr); if (!isLSB) base = hasOrderedReads(e, 1); if (base) { |