Interp.ml: support printf of long long

test/regression: add test "int32"; update test "int64"


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2201 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 4 insertions, 2 deletions

diff --git a/test/regression/int64.c b/test/regression/int64.c
index 55a4f88..c0b6e56 100644
--- a/test/regression/int64.c
+++ b/test/regression/int64.c
@@ -88,13 +88,15 @@ u64 special_values[] = {
   0x8000000000000000LLU
 };
 
+#define NUM_SPECIAL_VALUES (sizeof(special_values) / sizeof(u64))
+
 int main()
 {
   int i, j;
   u64 x, y;
 
-  for (i = 0; i <= 4; i++) {
-    for (j = 0; j <= 4; j++) {
+  for (i = 0; i < NUM_SPECIAL_VALUES; i++) {
+    for (j = 0; j < NUM_SPECIAL_VALUES; j++) {
       test1(special_values[i], special_values[j]);
     }
     test1(special_values[i], rnd64());