From 913279ed60aa9b7cce6db1b45c90e6e9d548c19b Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 5 Jun 2009 08:18:48 +0000 Subject: Turn an assert into a parse failure. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72935 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/Parser.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/Expr') diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp index e059c675..c20c5d66 100644 --- a/lib/Expr/Parser.cpp +++ b/lib/Expr/Parser.cpp @@ -853,7 +853,10 @@ ExprResult ParserImpl::ParseBinaryParenExpr(const Token &Name, return ConstantExpr::alloc(0, ResTy); ref LHS_E = LHS.get(), RHS_E = RHS.get(); - assert(LHS_E->getWidth() == RHS_E->getWidth() && "Mismatched types!"); + if (LHS_E->getWidth() != RHS_E->getWidth()) { + Error("type widths do not match in binary expression", Name); + return ConstantExpr::alloc(0, ResTy); + } switch (Kind) { case Expr::Add: return AddExpr::alloc(LHS_E, RHS_E); -- cgit 1.4.1