Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More gcc/newlib compatibility code. | Bernhard Schommer | 2015-12-11 | 1 | -2/+13 |
| | | | | | | | | | | 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. | ||||
* | Removed brackets around ty in macro of offestof. | Bernhard Schommer | 2015-07-07 | 1 | -1/+1 |
| | |||||
* | Diab defines w_char to be unsigned short. | Bernhard Schommer | 2015-07-07 | 1 | -1/+1 |
| | |||||
* | Make also the wchar definition diab compatible. | Bernhard Schommer | 2015-06-26 | 1 | -0/+15 |
| | |||||
* | Added diab specific macros for stddef to avoid redefinition of size_t. | Bernhard Schommer | 2015-06-26 | 1 | -0/+9 |
| | |||||
* | Provide and use compiler-dependent standard headers. | Xavier Leroy | 2015-04-25 | 1 | -0/+81 |
This branch provides implementations of the following standard headers: <float.h> <stdarg.h> <stdbool.h> <stddef.h> <varargs.h> These are the headers that are provided by GCC and Clang, as opposed to being provided by Glibc and similar C standard libraries. Configuration flag "-no-standard-headers" deactivates the installation and use of these headers. Lightly tested so far (IA32 Linux). |