diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-26 16:42:04 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-26 16:42:04 +0100 |
| commit | c1492881a211b30bf4e18732da1744eeae13a445 (patch) | |
| tree | 2961aa4b14c7cd71ab6a045089c7a1e25ead1c45 /cparser/handcrafted.messages | |
| parent | ccda0e12fd38bc0ab7b932b03264cd8154843b58 (diff) | |
| download | compcert-kvx-c1492881a211b30bf4e18732da1744eeae13a445.tar.gz compcert-kvx-c1492881a211b30bf4e18732da1744eeae13a445.zip | |
Fixed one error message and removed two comments.
Diffstat (limited to 'cparser/handcrafted.messages')
| -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 |