diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-26 09:34:10 -0700 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-10-26 09:34:10 -0700 |
| commit | dcee0b9232aeb05bf7fdf57718c00656a28af2f8 (patch) | |
| tree | 0c11fbdedba33fd3d3249c69d0278aaf6b0c95d9 /cparser | |
| parent | 22ba27a76497ac06fdaddf5a54346107a4727f6f (diff) | |
| parent | c1492881a211b30bf4e18732da1744eeae13a445 (diff) | |
| download | compcert-dcee0b9232aeb05bf7fdf57718c00656a28af2f8.tar.gz compcert-dcee0b9232aeb05bf7fdf57718c00656a28af2f8.zip | |
Merge pull request #61 from fpottier/clean
Fixed one error message and removed two comments.
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/handcrafted.messages | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages index ba2031d7..9d02f5d2 100644 --- a/cparser/handcrafted.messages +++ b/cparser/handcrafted.messages @@ -2754,11 +2754,9 @@ translation_unit_file: INT VAR_NAME LPAREN INT VAR_NAME RPAREN LBRACE DO ASM XOR ## ASM ## -# TEMPORARY maybe 'const' does not make sense here; gcc and clang ignore it; check. - Ill-formed assembly statement. At this point, one of the following is expected: - an assembly attribute, such as 'const' or 'volatile'; or + an assembly attribute, such as 'volatile'; or an opening parenthesis '('. # ------------------------------------------------------------------------------ @@ -2844,8 +2842,6 @@ translation_unit_file: INT VAR_NAME LPAREN INT VAR_NAME RPAREN LBRACE ASM LPAREN # We have seen one COLON, hence the outputs. (The list of outputs may be empty.) -# TEMPORARY the grammar allows a list of outputs, but the documentation allows at most one output. - Ill-formed assembly statement. Up to this point, a list of outputs has been recognized: $0 |