diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-12 15:52:42 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-05-12 15:52:42 +0000 |
commit | edc00e0c90a5598f653add89f42a095d8ee1b629 (patch) | |
tree | 2d2539335cc7e916a8964847b2ed7489f9340d00 /cparser/Cabshelper.ml | |
parent | 951bf7bdb208f500c86e8d45c45247cd25adb4ab (diff) | |
download | compcert-kvx-edc00e0c90a5598f653add89f42a095d8ee1b629.tar.gz compcert-kvx-edc00e0c90a5598f653add89f42a095d8ee1b629.zip |
Assorted fixes to fix parsing issues and be more GCC-like:
- Moved scanning of char constants and string literals entirely to Lexer
- Parser: separate STRING_LITERAL from CONSTANT to be closer to ISO C99 grammar
- pre_parser: adapted + "asm" takes string_literal, not CONSTANT
- Revised errors "inline doesnt belong here"
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2492 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Cabshelper.ml')
-rw-r--r-- | cparser/Cabshelper.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cabshelper.ml b/cparser/Cabshelper.ml index 35aa0c4c..9d4a91f6 100644 --- a/cparser/Cabshelper.ml +++ b/cparser/Cabshelper.ml @@ -70,7 +70,7 @@ begin | LABEL(_,_,loc) -> loc | GOTO(_,loc) -> loc | DEFINITION d -> get_definitionloc d - | ASM(_,loc) -> loc + | ASM(_,_,loc) -> loc end let string_of_cabsloc l = |