From 9f1655cc26ca22d06c5d8f8d228b0b240381a6cc Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 8 Jun 2009 05:19:15 +0000 Subject: 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 --- lib/Expr/Parser.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'lib') 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) { -- cgit 1.4.1