diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 01:01:27 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 01:01:27 +0000 |
| commit | 16df16b7295819b788570998baa9ab30dabde0e5 (patch) | |
| tree | 1bf8e2979d4ffc30145433e4f11eab96863de368 /include | |
| parent | 69a7598ab92a5fcd3573487677d7681552c1ba4c (diff) | |
| download | klee-16df16b7295819b788570998baa9ab30dabde0e5.tar.gz | |
Kill off last getConstantValue uses.
- ConstantExpr should now fully support arbitrary width operations. - Still numerous holes in parsing, solver, etc. to plug. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74151 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index bfe839d8..e880719e 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -316,8 +316,6 @@ public: unsigned getNumKids() const { return 0; } ref<Expr> getKid(unsigned i) const { return 0; } - uint64_t getConstantValue() const { return value.getZExtValue(); } - /// getZExtValue - Return the constant value for a limited number of bits. /// /// This routine should be used in situations where the width of the constant |