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 /stp/c_interface | |
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
Diffstat (limited to 'stp/c_interface')
-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); |