diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-06-07 15:26:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-07 15:26:02 +0200 |
| commit | 285933f8ca633495e7e4d03481a58ead3323c504 (patch) | |
| tree | 81983eabd13d100a498fc937eb30eb3adce13ba8 /cparser/Parser.vy | |
| parent | 18b05651231b4b79e3169e168d53b2c5da27983b (diff) | |
| download | compcert-kvx-285933f8ca633495e7e4d03481a58ead3323c504.tar.gz compcert-kvx-285933f8ca633495e7e4d03481a58ead3323c504.zip | |
Remove the `_Alignas(expr)` construct (#125)
The `_Alignas(expr)` construct is not C11, only `_Alignas(type)` is.
Diffstat (limited to 'cparser/Parser.vy')
| -rw-r--r-- | cparser/Parser.vy | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/cparser/Parser.vy b/cparser/Parser.vy index 7fe686f1..b3731809 100644 --- a/cparser/Parser.vy +++ b/cparser/Parser.vy @@ -172,10 +172,8 @@ unary_expression: | loc = SIZEOF LPAREN typ = type_name RPAREN { (TYPE_SIZEOF typ, loc) } (* Non-standard *) -| loc = ALIGNOF expr = unary_expression - { (EXPR_ALIGNOF (fst expr), loc) } | loc = ALIGNOF LPAREN typ = type_name RPAREN - { (TYPE_ALIGNOF typ, loc) } + { (ALIGNOF typ, loc) } unary_operator: | loc = AND @@ -546,7 +544,7 @@ attribute_specifier: | loc = ALIGNAS LPAREN args = argument_expression_list RPAREN { (ALIGNAS_ATTR (rev' args) loc, loc) } | loc = ALIGNAS LPAREN typ = type_name RPAREN - { (ALIGNAS_ATTR [TYPE_ALIGNOF typ] loc, loc) } + { (ALIGNAS_ATTR [ALIGNOF typ] loc, loc) } gcc_attribute_list: | a = gcc_attribute |