From 9f1655cc26ca22d06c5d8f8d228b0b240381a6cc Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
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