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 /exportclight/ExportClight.ml | |
| parent | 0899260c83d012af0a50d4099abf039f53d61fbb (diff) | |
| download | compcert-kvx-ea81ecd2870df743bf71e0317d60ae787dcbe17d.tar.gz compcert-kvx-ea81ecd2870df743bf71e0317d60ae787dcbe17d.zip | |
GCCism: accept __volatile and __volatile__
These alternate keywords for "volatile" are used in some header files
in the wild.
Diffstat (limited to 'exportclight/ExportClight.ml')
0 files changed, 0 insertions, 0 deletions