diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-11-24 09:00:39 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-11-24 09:00:39 +0100 |
| commit | aa489359655148ea37a432ec43f8bde854da6847 (patch) | |
| tree | c312844f5391f539516ce8ff166b045cda5b02f4 /cparser/handcrafted.messages | |
| parent | e20490e57b6098c330187e51908b8e1b9975e72e (diff) | |
| download | compcert-kvx-aa489359655148ea37a432ec43f8bde854da6847.tar.gz compcert-kvx-aa489359655148ea37a432ec43f8bde854da6847.zip | |
A simplification in the grammar, leading to fewer states in the automaton
and merging two error states into one. There should be no observable change.
Diffstat (limited to 'cparser/handcrafted.messages')
| -rw-r--r-- | cparser/handcrafted.messages | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages index dc368fbf..9f8f2694 100644 --- a/cparser/handcrafted.messages +++ b/cparser/handcrafted.messages @@ -1843,17 +1843,6 @@ is expected. # ------------------------------------------------------------------------------ -translation_unit_file: SEMICOLON XOR_ASSIGN -## -## Ends in an error in state: 399. -## -## translation_unit -> translation_unit . external_declaration [ VOLATILE VOID UNSIGNED UNION UNDERSCORE_BOOL TYPEDEF STRUCT STATIC SIGNED SHORT SEMICOLON RESTRICT REGISTER PRE_NAME PRAGMA PACKED LONG INT INLINE FLOAT EXTERN EOF ENUM DOUBLE CONST CHAR AUTO ATTRIBUTE ALIGNAS ] -## translation_unit -> translation_unit . SEMICOLON [ VOLATILE VOID UNSIGNED UNION UNDERSCORE_BOOL TYPEDEF STRUCT STATIC SIGNED SHORT SEMICOLON RESTRICT REGISTER PRE_NAME PRAGMA PACKED LONG INT INLINE FLOAT EXTERN EOF ENUM DOUBLE CONST CHAR AUTO ATTRIBUTE ALIGNAS ] -## translation_unit_file -> translation_unit . EOF [ # ] -## -## The known suffix of the stack is as follows: -## translation_unit -## translation_unit_file: XOR_ASSIGN ## ## Ends in an error in state: 0. @@ -1863,9 +1852,8 @@ translation_unit_file: XOR_ASSIGN ## The known suffix of the stack is as follows: ## ## -# The king of all syntax errors: an error in the initial state. -# Anyway, we are at the toplevel. +# We are at the toplevel. # clang and gcc want an identifier or an opening parenthesis, which is way incomplete. |