compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	PR#6: fix handling of wchar_t and assignments from wide string literals.	Xavier Leroy	2014-12-30	1	-0/+2
\| \| \| \| \| \| \| \| \| \|	- cparser/Machine indicates whether wchar_t is signed or not (it is signed int in Linux and BSD, but unsigned short in Win32) - The type of a wide string literal is "wchar_t *" if the typedef "wchar_t" exists in the environment (e.g. after #include <stddef.h>). Only if wchar_t is not defined do we use the default from Machine. - Permit initialization of any integer array from a wide string literal, not just an array of wchar_t.
*	Hack StructReturn to better adhere to PowerPC and ARM calling conventions.	xleroy	2013-12-20	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2382 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,	xleroy	2013-04-29	1	-0/+1
\| \| \| \| \| \| \| \|	for compatibility with earlier CompCert versions. But don't use them in PackedStructs. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2216 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	cparser/*: refactoring of the expansion of read-modify-write operators	xleroy	2011-11-26	1	-1/+1
\| \| \| \| \| \| \| \| \|	cparser/PackedStructs: treat r-m-w operations over byte-swapped fields cparser/PackedStructs: allow static initialization of packed structs test/regression: more packedstruct tests git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1738 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bitfields: MSB-to-LSB in addition to LSB-to-MSB	xleroy	2011-03-10	1	-2/+9
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1600 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+51
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e