diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 05:53:15 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 05:53:15 +0000 |
| commit | ff4e0374e27e43fa897f99726d33ab61e8bd2627 (patch) | |
| tree | afa730b512de53623fe1c838a21de087bd39247b /include | |
| parent | d9d05fd0025138383555d5efc69bf461d513b8d8 (diff) | |
| download | klee-ff4e0374e27e43fa897f99726d33ab61e8bd2627.tar.gz | |
Kill off Concat::is[248]ByteConcat, and fix FastCexSolver for this case.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73049 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index dd31896a..d1fdfa73 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -669,12 +669,6 @@ public: const ref<Expr> &kid7, const ref<Expr> &kid8); virtual ref<Expr> rebuild(ref<Expr> kids[]) const { return create(kids[0], kids[1]); } - - - /* These will be eliminated */ - bool is2ByteConcat() const { return false; } - bool is4ByteConcat() const { return false; } - bool is8ByteConcat() const { return false; } private: ConcatExpr(const ref<Expr> &l, const ref<Expr> &r) : left(l), right(r) { |