From 145b32ec504541e98f73b2c87ff2d8181b5e7968 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 21 Jan 2012 16:46:08 +0000
Subject: Out-of-bounds error in test

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1802 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Results/instrsel | 10 +++++-----
 test/regression/instrsel.c       | 22 +++++++++++-----------
 2 files changed, 16 insertions(+), 16 deletions(-)

(limited to 'test/regression')

diff --git a/test/regression/Results/instrsel b/test/regression/Results/instrsel
index 97d1a9d2..306b2bb8 100644
--- a/test/regression/Results/instrsel
+++ b/test/regression/Results/instrsel
@@ -1,6 +1,6 @@
-bres = 135 214 210 255 135 135 135 135 135 135 
-sbres = 12 -4 -46 -1 -121 -121 -121 -121 -121 0 
-sres = 12 65532 1234 65279 54919 135 65415 54919 54919 135 
-ssres = 12 -4 1234 -257 -10617 135 -121 -10617 -10617 0 
+bres = 12 252 210 255 135 135 135 135 135 135 0 0 0 0 0 0 0 0 0 0 
+sbres = 12 -4 -46 -1 -121 -121 -121 -121 -121 0 0 0 0 0 0 0 0 0 0 0 
+sres = 12 65532 1234 65279 54919 135 65415 54919 54919 135 54919 0 0 0 0 0 0 0 0 0 
+ssres = 12 -4 1234 -257 -10617 135 -121 -10617 -10617 0 0 0 0 0 0 0 0 0 0 0 
 res = 135 -121 135 -121 54919 -10617 54919 -10617 135 135 -121 -121 135 135 -121 65415 12 12 12 -4 -4 1234 -257 0 135 12 12 12 12 12 243 0 44478 173 214 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
-fres = 2.5 -3.14159 -3.14159 0 0 0 0 0 0 0 
+fres = 2.5 -3.14159 -3.14159 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
diff --git a/test/regression/instrsel.c b/test/regression/instrsel.c
index 0dbe5e3b..f18886b0 100644
--- a/test/regression/instrsel.c
+++ b/test/regression/instrsel.c
@@ -5,14 +5,14 @@ typedef signed char S8;
 typedef unsigned short U16;
 typedef signed short S16;
 
-U8 b, bres[10];
-S8 sb, sbres[10];
-U16 s, sres[10];
-S16 ss, ssres[10];
+U8 b, bres[20];
+S8 sb, sbres[20];
+U16 s, sres[20];
+S16 ss, ssres[20];
 int i, res[50];
 unsigned int ui;
-float f, fres[10];
-double d, dres[10];
+float f, fres[20];
+double d, dres[20];
 
 #ifdef __COMPCERT__
 #define TEST(x) __builtin_annot(#x); x
@@ -119,22 +119,22 @@ int main()
   f = 2.5; d = -3.14159;
   test();
   printf("bres = ");
-  for (n = 0; n < 10; n++) printf("%d ", bres[n]);
+  for (n = 0; n < 20; n++) printf("%d ", bres[n]);
   printf("\n");
   printf("sbres = ");
-  for (n = 0; n < 10; n++) printf("%d ", sbres[n]);
+  for (n = 0; n < 20; n++) printf("%d ", sbres[n]);
   printf("\n");
   printf("sres = ");
-  for (n = 0; n < 10; n++) printf("%d ", sres[n]);
+  for (n = 0; n < 20; n++) printf("%d ", sres[n]);
   printf("\n");
   printf("ssres = ");
-  for (n = 0; n < 10; n++) printf("%d ", ssres[n]);
+  for (n = 0; n < 20; n++) printf("%d ", ssres[n]);
   printf("\n");
   printf("res = ");
   for (n = 0; n < 50; n++) printf("%d ", res[n]);
   printf("\n");
   printf("fres = ");
-  for (n = 0; n < 10; n++) printf("%g ", fres[n]);
+  for (n = 0; n < 20; n++) printf("%g ", fres[n]);
   printf("\n");
   return 0;
 }
-- 
cgit