Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
cparser
Lexer.mll
Find file
Blame
History
Permalink
GCCism: accept __volatile and __volatile__
· ea81ecd2
Xavier Leroy
authored
Sep 21, 2014
These alternate keywords for "volatile" are used in some header files in the wild.
ea81ecd2