diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-11 13:05:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-11 13:05:58 +0100 |
commit | fd2d8d86daf9d63d5695c93f412a7cf549d312c6 (patch) | |
tree | e44d0c6afed8cb09f244626b96df71e084a070ec /cfrontend | |
parent | da4ca8a5313c6dc1f6015102b42dfbbeeb546dc7 (diff) | |
download | compcert-fd2d8d86daf9d63d5695c93f412a7cf549d312c6.tar.gz compcert-fd2d8d86daf9d63d5695c93f412a7cf549d312c6.zip |
More gcc/newlib compatibility code.
Some newlib headers use the __extension__ keyword which suppresses
warnings for gcc extensions in strict mode. CompCert now ignores
this keyword for the gnu backends.
Also it seems that stddef of the gcc defines wint_t even though
it should not. However some libs rely on this. So wint_t is now
defined in CompCert's stddef header.
Bug 17613.
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions