From 5b9d443a3a7f1be0e229bfc424dc857f080ef485 Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 23 May 2011 07:43:21 +0000 Subject: Nicer printing of annotations. ia32: support builtins for reversed reads and writes (facilitates testing). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1655 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/regression/packedstruct1.c | 4 ---- 1 file changed, 4 deletions(-) (limited to 'test') diff --git a/test/regression/packedstruct1.c b/test/regression/packedstruct1.c index 01f6b46..1bde780 100644 --- a/test/regression/packedstruct1.c +++ b/test/regression/packedstruct1.c @@ -42,11 +42,7 @@ void test2(void) /* Now with byte-swapped fields */ -#if defined(__COMPCERT__) && defined(_ARCH_PPC) #pragma pack(1,1,1) -#else -#pragma pack(1,1,0) -#endif struct s3 { unsigned char x; -- cgit v1.2.3