From: Peter Collingbourne <[email protected]>
This patch results in a small decrease in binary size (debug build
x86_64: ~3000 bytes for klee and ~10000 for kleaver).
---
include/klee/Expr.h | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index a1a1bc2..5b1bae6 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -460,6 +460,7 @@ public:
return right;
return 0;
}
+ Width getWidth() const { return left->getWidth(); }
protected:
BinaryExpr(const ref<Expr> &l, const ref<Expr> &r) : left(l), right(r) {}
@@ -969,7 +970,6 @@ public:
\
return res; \
} \
static ref<Expr> create(const ref<Expr> &l, const ref<Expr> &r); \
- Width getWidth() const { return left->getWidth(); } \
Kind getKind() const { return _class_kind; } \
virtual ref<Expr> rebuild(ref<Expr> kids[]) const { \
return create(kids[0], kids[1]); \
--
1.6.5
