From 285d908c5dbd90bff7f03618c7a9e0fa5e287c94 Mon Sep 17 00:00:00 2001
From: jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 23 May 2014 07:44:28 +0000
Subject: Empty declarations

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2502 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Parser.vy | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'cparser/Parser.vy')

diff --git a/cparser/Parser.vy b/cparser/Parser.vy
index a4cdb0d1..ce1beae0 100644
--- a/cparser/Parser.vy
+++ b/cparser/Parser.vy
@@ -836,6 +836,11 @@ translation_unit:
     { [def] }
 | defq = translation_unit deft = external_declaration
     { deft::defq }
+(* Non-standard : empty declaration *)
+| tu = translation_unit SEMICOLON
+    { tu }
+| SEMICOLON
+    { [] }
 
 external_declaration:
 | def = function_definition
-- 
cgit