compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Include fix for wint_t gcc problem.	Bernhard Schommer	2016-01-21	1	-12/+16
\| \| \| \| \| \|	Gcc defines wint_t in the stddef header (even if it is not stanadard) and additionally defines it if stddef is reincluded. The fix now defines it before stddef is checked for reinclusion.
*	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).