diff options
author | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 05:19:15 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 05:19:15 +0000 |
commit | 9f1655cc26ca22d06c5d8f8d228b0b240381a6cc (patch) | |
tree | 67eeff0152890afd074321446370544e824eecf9 | |
parent | 774d9473ee5686d59a8eb398fd78a8a5d591721e (diff) | |
download | klee-9f1655cc26ca22d06c5d8f8d228b0b240381a6cc.tar.gz |
Fix a mistake in previous commit to turn asserts -> parse errors.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73046 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Expr/Parser.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp index a5c6123f..a2a5d2e2 100644 --- a/lib/Expr/Parser.cpp +++ b/lib/Expr/Parser.cpp @@ -589,12 +589,6 @@ DeclResult ParserImpl::ParseQueryCommand() { return DeclResult(); } - if (Tok.kind != Token::LSquare) { - Error("malformed query, expected expression list."); - SkipUntilRParen(); - return DeclResult(); - } - ConsumeLSquare(); // FIXME: Should avoid reading past unbalanced parens here. while (Tok.kind != Token::RSquare) { @@ -642,6 +636,12 @@ DeclResult ParserImpl::ParseQueryCommand() { if (Tok.kind == Token::RParen) goto exit; + if (Tok.kind != Token::LSquare) { + Error("malformed query, expected array list."); + SkipUntilRParen(); + return DeclResult(); + } + ConsumeLSquare(); // FIXME: Should avoid reading past unbalanced parens here. while (Tok.kind != Token::RSquare) { |