[klee-dev] [PATCH] Moved BinaryExpr subclasses' getWidth() implementation to the BinaryExpr class

[Peter Collingbourne]

From: Peter Collingbourne <pcc03 at doc.ic.ac.uk>

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