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 /_tags | |
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.
Diffstat (limited to '_tags')
0 files changed, 0 insertions, 0 deletions