diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 10:35:50 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 10:35:50 +0200 |
| commit | e77d3e706e056bb2cd58ae0a7cf6f97fb893ccae (patch) | |
| tree | 43f7bae200a5ff9a9a524c0ef4aeb34fcd967d9c /cparser | |
| parent | 6684eb494192ea1e7e29fa4bb3cbe453208e2430 (diff) | |
| download | compcert-e77d3e706e056bb2cd58ae0a7cf6f97fb893ccae.tar.gz compcert-e77d3e706e056bb2cd58ae0a7cf6f97fb893ccae.zip | |
Allow empty alignment attribute. Bug 18004
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Elab.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 39cb36b1..f82ae176 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -429,6 +429,7 @@ let extract_alignas loc a = | [AInt n] when is_power_of_two n -> AAlignas (Int64.to_int n) | [AInt n] -> error loc "requested alignment is not a power of 2"; a | [_] -> error loc "requested alignment is not an integer constant"; a + | [] -> a (* Use the default alignment as the gcc does *) | _ -> error loc "'aligned' attribute takes no more than 1 argument"; a end | _ -> a |