diff options
| author | jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-23 07:44:28 +0000 |
|---|---|---|
| committer | jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-23 07:44:28 +0000 |
| commit | 285d908c5dbd90bff7f03618c7a9e0fa5e287c94 (patch) | |
| tree | 16dfbc3fefa67782a0d1f1c2588415a3e88458bf /cparser/Parser.vy | |
| parent | 2525ef0cf03eb06f1d48115b9fe9dab2620511df (diff) | |
| download | compcert-kvx-285d908c5dbd90bff7f03618c7a9e0fa5e287c94.tar.gz compcert-kvx-285d908c5dbd90bff7f03618c7a9e0fa5e287c94.zip | |
Empty declarations
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2502 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Parser.vy')
| -rw-r--r-- | cparser/Parser.vy | 5 |
1 files changed, 5 insertions, 0 deletions
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 |