diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 13:09:59 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 13:09:59 +0100 |
commit | a4b766d7b50be79a1d983dbe5f234e951ba0aa46 (patch) | |
tree | 3ba42ff394c3fe5350607813d0b2eb41a44c981f /common/Globalenvs.v | |
parent | 10120fe4d9980139e44012888a91716df2edf2e0 (diff) | |
download | compcert-a4b766d7b50be79a1d983dbe5f234e951ba0aa46.tar.gz compcert-a4b766d7b50be79a1d983dbe5f234e951ba0aa46.zip |
Recognize more of GCC's alternate keywords (e.g. "__signed").
Based on the source of GCC 4.9.2.
Plus: reordered keywords in alphabetic order to facilitate comparison.
Diffstat (limited to 'common/Globalenvs.v')
0 files changed, 0 insertions, 0 deletions