diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 04:02:08 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 04:02:08 +0000 |
| commit | 9f9e0114420caabb353f39e20e7d98887eca26f1 (patch) | |
| tree | 480d449e0302501eba8686be4e052ac4f1d7ba44 | |
| parent | 1efbeceedbb00267f38d0dfc9b24307ad3e1feca (diff) | |
| download | klee-9f9e0114420caabb353f39e20e7d98887eca26f1.tar.gz | |
STP: Eliminate dead test.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100393 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | stp/c_interface/c_interface.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/c_interface/c_interface.cpp b/stp/c_interface/c_interface.cpp index f4e53114..52c4df21 100644 --- a/stp/c_interface/c_interface.cpp +++ b/stp/c_interface/c_interface.cpp @@ -1409,7 +1409,7 @@ Expr getChild(Expr e, int i){ nodestar a = (nodestar)e; BEEV::ASTVec c = a->GetChildren(); - if(0 <= (unsigned)i && (unsigned)i < c.size()) { + if ((unsigned)i < c.size()) { BEEV::ASTNode o = c[i]; nodestar output = new node(o); //if(cinterface_exprdelete_on) created_exprs.push_back(output); |