From bb693ff8457c80451d406563a7a5146daaaefa0c Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Thu, 13 Feb 2014 17:10:36 -0800 Subject: Fixed crash in parser --- Source/Dafny/Dafny.atg | 4 ++-- Source/Dafny/Parser.cs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'Source/Dafny') diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index dc8b9640..a74ec21d 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -1370,7 +1370,7 @@ CaseStatement /*------------------------------------------------------------------------*/ AssertStmt = (. Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x; - Expression e = null; Attributes attrs = null; + Expression e = dummyExpr; Attributes attrs = null; IToken dotdotdot = null; .) "assert" (. x = t; .) @@ -1388,7 +1388,7 @@ AssertStmt . AssumeStmt = (. Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x; - Expression e = null; Attributes attrs = null; + Expression e = dummyExpr; Attributes attrs = null; IToken dotdotdot = null; .) "assume" (. x = t; .) diff --git a/Source/Dafny/Parser.cs b/Source/Dafny/Parser.cs index 07211134..57284c8e 100644 --- a/Source/Dafny/Parser.cs +++ b/Source/Dafny/Parser.cs @@ -1648,7 +1648,7 @@ List/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo void AssertStmt(out Statement/*!*/ s) { Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x; - Expression e = null; Attributes attrs = null; + Expression e = dummyExpr; Attributes attrs = null; IToken dotdotdot = null; Expect(83); @@ -1673,7 +1673,7 @@ List/*!*/ decreases, ref Attributes decAttrs, ref Attributes mo void AssumeStmt(out Statement/*!*/ s) { Contract.Ensures(Contract.ValueAtReturn(out s) != null); IToken/*!*/ x; - Expression e = null; Attributes attrs = null; + Expression e = dummyExpr; Attributes attrs = null; IToken dotdotdot = null; Expect(72); -- cgit v1.2.3