diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-21 16:56:32 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-21 16:56:32 +0200 |
commit | ea81ecd2870df743bf71e0317d60ae787dcbe17d (patch) | |
tree | b3aa473f179c990b3bd6c035c80eac0e67834267 | |
parent | 0899260c83d012af0a50d4099abf039f53d61fbb (diff) | |
download | compcert-ea81ecd2870df743bf71e0317d60ae787dcbe17d.tar.gz compcert-ea81ecd2870df743bf71e0317d60ae787dcbe17d.zip |
GCCism: accept __volatile and __volatile__
These alternate keywords for "volatile" are used in some header files
in the wild.
-rw-r--r-- | cparser/Lexer.mll | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll index 53a27d81..3ab83902 100644 --- a/cparser/Lexer.mll +++ b/cparser/Lexer.mll @@ -67,6 +67,8 @@ let init filename channel : Lexing.lexbuf = ("unsigned", fun loc -> UNSIGNED loc); ("void", fun loc -> VOID loc); ("volatile", fun loc -> VOLATILE loc); + ("__volatile", fun loc -> VOLATILE loc); + ("__volatile__", fun loc -> VOLATILE loc); ("while", fun loc -> WHILE loc); ("_Alignas", fun loc -> ALIGNAS loc); ("_Alignof", fun loc -> ALIGNOF loc); |