sdcc/support/regression/tests/gcc-torture-execute-strlen-2.c

   1 /*
   2    strlen-2.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #include <stddef.h>
   8
   9 /* PR tree-optimization/86532 - Wrong code due to ASSERT wrong strlen folding  */
  10
  11 extern size_t strlen (const char*);
  12
  13 static const char a[2][3] = { "1", "12" };
  14 static const char b[2][2][5] = { { "1", "12" }, { "123", "1234" } };
  15
  16 volatile int v0 = 0;
  17 volatile int v1 = 1;
  18 volatile int v2 = 2;
  19
  20 void test_array_ref_2_3 (void)
  21 {
  22 #if !defined(__SDCC_pdk13) && !defined(__SDCC_pdk14) && !(defined(__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
  23   ASSERT (strlen (a[v0]) == 1);
  24   ASSERT (strlen (&a[v0][v0]) == 1);
  25   ASSERT (strlen (&a[0][v0]) == 1);
  26   ASSERT (strlen (&a[v0][0]) == 1);
  27
  28   ASSERT (strlen (a[v1]) == 2);
  29   ASSERT (strlen (&a[v1][0]) == 2);
  30   ASSERT (strlen (&a[1][v0]) == 2);
  31   ASSERT (strlen (&a[v1][v0]) == 2);
  32
  33   ASSERT (strlen (&a[v1][1]) == 1);
  34   ASSERT (strlen (&a[v1][1]) == 1);
  35
  36   ASSERT (strlen (&a[v1][2]) == 0);
  37   ASSERT (strlen (&a[v1][v2]) == 0);
  38
  39   int i0 = 0;
  40   int i1 = i0 + 1;
  41   int i2 = i1 + 1;
  42
  43   ASSERT (strlen (a[v0]) == 1);
  44   ASSERT (strlen (&a[v0][v0]) == 1);
  45   ASSERT (strlen (&a[i0][v0]) == 1);
  46   ASSERT (strlen (&a[v0][i0]) == 1);
  47
  48   ASSERT (strlen (a[v1]) == 2);
  49   ASSERT (strlen (&a[v1][i0]) == 2);
  50   ASSERT (strlen (&a[i1][v0]) == 2);
  51   ASSERT (strlen (&a[v1][v0]) == 2);
  52
  53   ASSERT (strlen (&a[v1][i1]) == 1);
  54   ASSERT (strlen (&a[v1][i1]) == 1);
  55
  56   ASSERT (strlen (&a[v1][i2]) == 0);
  57   ASSERT (strlen (&a[v1][v2]) == 0);
  58 #endif
  59 }
  60
  61 void test_array_off_2_3 (void)
  62 {
  63 #if !defined(__SDCC_pdk13) && !defined(__SDCC_pdk14) && !(defined(__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
  64   ASSERT (strlen (a[0] + 0) == 1);
  65   ASSERT (strlen (a[0] + v0) == 1);
  66   ASSERT (strlen (a[v0] + 0) == 1);
  67   ASSERT (strlen (a[v0] + v0) == 1);
  68
  69   ASSERT (strlen (a[v1] + 0) == 2);
  70   ASSERT (strlen (a[1] + v0) == 2);
  71   ASSERT (strlen (a[v1] + 0) == 2);
  72   ASSERT (strlen (a[v1] + v0) == 2);
  73
  74   ASSERT (strlen (a[v1] + 1) == 1);
  75   ASSERT (strlen (a[v1] + v1) == 1);
  76
  77   ASSERT (strlen (a[v1] + 2) == 0);
  78   ASSERT (strlen (a[v1] + v2) == 0);
  79
  80   int i0 = 0;
  81   int i1 = i0 + 1;
  82   int i2 = i1 + 1;
  83
  84   ASSERT (strlen (a[i0] + i0) == 1);
  85   ASSERT (strlen (a[i0] + v0) == 1);
  86   ASSERT (strlen (a[v0] + i0) == 1);
  87   ASSERT (strlen (a[v0] + v0) == 1);
  88
  89   ASSERT (strlen (a[v1] + i0) == 2);
  90   ASSERT (strlen (a[i1] + v0) == 2);
  91   ASSERT (strlen (a[v1] + i0) == 2);
  92   ASSERT (strlen (a[v1] + v0) == 2);
  93
  94   ASSERT (strlen (a[v1] + i1) == 1);
  95   ASSERT (strlen (a[v1] + v1) == 1);
  96
  97   ASSERT (strlen (a[v1] + i2) == 0);
  98   ASSERT (strlen (a[v1] + v2) == 0);
  99 #endif
 100 }
 101
 102 void test_array_ref_2_2_5 (void)
 103 {
 104 #if !defined(__SDCC_pdk13) && !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // Lack of code memory
 105   ASSERT (strlen (b[0][v0]) == 1);
 106   ASSERT (strlen (b[v0][0]) == 1);
 107
 108   ASSERT (strlen (&b[0][0][v0]) == 1);
 109   ASSERT (strlen (&b[0][v0][0]) == 1);
 110   ASSERT (strlen (&b[v0][0][0]) == 1);
 111
 112   ASSERT (strlen (&b[0][v0][v0]) == 1);
 113   ASSERT (strlen (&b[v0][0][v0]) == 1);
 114   ASSERT (strlen (&b[v0][v0][0]) == 1);
 115
 116   ASSERT (strlen (b[0][v1]) == 2);
 117   ASSERT (strlen (b[v1][0]) == 3);
 118
 119   ASSERT (strlen (&b[0][0][v1]) == 0);
 120   ASSERT (strlen (&b[0][v1][0]) == 2);
 121   ASSERT (strlen (&b[v0][0][0]) == 1);
 122
 123   ASSERT (strlen (&b[0][v0][v0]) == 1);
 124   ASSERT (strlen (&b[v0][0][v0]) == 1);
 125   ASSERT (strlen (&b[v0][v0][0]) == 1);
 126
 127   ASSERT (strlen (&b[0][v1][v1]) == 1);
 128   ASSERT (strlen (&b[v1][0][v1]) == 2);
 129   ASSERT (strlen (&b[v1][v1][0]) == 4);
 130   ASSERT (strlen (&b[v1][v1][1]) == 3);
 131   ASSERT (strlen (&b[v1][v1][2]) == 2);
 132
 133   int i0 = 0;
 134   int i1 = i0 + 1;
 135   int i2 = i1 + 1;
 136
 137   ASSERT (strlen (b[i0][v0]) == 1);
 138   ASSERT (strlen (b[v0][i0]) == 1);
 139
 140   ASSERT (strlen (&b[i0][i0][v0]) == 1);
 141   ASSERT (strlen (&b[i0][v0][i0]) == 1);
 142   ASSERT (strlen (&b[v0][i0][i0]) == 1);
 143
 144   ASSERT (strlen (&b[i0][v0][v0]) == 1);
 145   ASSERT (strlen (&b[v0][i0][v0]) == 1);
 146   ASSERT (strlen (&b[v0][v0][i0]) == 1);
 147
 148   ASSERT (strlen (b[i0][v1]) == 2);
 149   ASSERT (strlen (b[v1][i0]) == 3);
 150
 151   ASSERT (strlen (&b[i0][i0][v1]) == 0);
 152   ASSERT (strlen (&b[i0][v1][i0]) == 2);
 153   ASSERT (strlen (&b[v0][i0][i0]) == 1);
 154
 155   ASSERT (strlen (&b[i0][v0][v0]) == 1);
 156   ASSERT (strlen (&b[v0][i0][v0]) == 1);
 157   ASSERT (strlen (&b[v0][v0][i0]) == 1);
 158
 159   ASSERT (strlen (&b[i0][v1][v1]) == 1);
 160   ASSERT (strlen (&b[v1][i0][v1]) == 2);
 161   ASSERT (strlen (&b[v1][v1][i0]) == 4);
 162   ASSERT (strlen (&b[v1][v1][i1]) == 3);
 163   ASSERT (strlen (&b[v1][v1][i2]) == 2);
 164 #endif
 165 }
 166
 167 void test_array_off_2_2_5 (void)
 168 {
 169 #if !defined(__SDCC_pdk13) && !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // Lack of code memory
 170   ASSERT (strlen (b[0][0] + v0) == 1);
 171   ASSERT (strlen (b[0][v0] + v0) == 1);
 172   ASSERT (strlen (b[v0][0] + v0) == 1);
 173   ASSERT (strlen (b[v0][v0] + v0) == 1);
 174
 175   ASSERT (strlen (b[0][0] + v1) == 0);
 176   ASSERT (strlen (b[0][v1] + 0) == 2);
 177   ASSERT (strlen (b[v0][0] + 0) == 1);
 178
 179   ASSERT (strlen (b[0][v0] + v0) == 1);
 180   ASSERT (strlen (b[v0][0] + v0) == 1);
 181   ASSERT (strlen (b[v0][v0] + 0) == 1);
 182
 183   ASSERT (strlen (b[0][v1] + v1) == 1);
 184   ASSERT (strlen (b[v1][0] + v1) == 2);
 185   ASSERT (strlen (b[v1][v1] + 0) == 4);
 186   ASSERT (strlen (b[v1][v1] + 1) == 3);
 187   ASSERT (strlen (b[v1][v1] + 2) == 2);
 188
 189   int i0 = 0;
 190   int i1 = i0 + 1;
 191   int i2 = i1 + 1;
 192
 193   ASSERT (strlen (b[i0][i0] + v0) == 1);
 194   ASSERT (strlen (b[i0][v0] + v0) == 1);
 195   ASSERT (strlen (b[v0][i0] + v0) == 1);
 196   ASSERT (strlen (b[v0][v0] + v0) == 1);
 197
 198   ASSERT (strlen (b[i0][i0] + v1) == 0);
 199   ASSERT (strlen (b[i0][v1] + i0) == 2);
 200   ASSERT (strlen (b[v0][i0] + i0) == 1);
 201
 202   ASSERT (strlen (b[i0][v0] + v0) == 1);
 203   ASSERT (strlen (b[v0][i0] + v0) == 1);
 204   ASSERT (strlen (b[v0][v0] + i0) == 1);
 205
 206   ASSERT (strlen (b[i0][v1] + v1) == 1);
 207   ASSERT (strlen (b[v1][i0] + v1) == 2);
 208   ASSERT (strlen (b[v1][v1] + i0) == 4);
 209   ASSERT (strlen (b[v1][v1] + i1) == 3);
 210   ASSERT (strlen (b[v1][v1] + i2) == 2);
 211 #endif
 212 }
 213
 214 void
 215 testTortureExecute (void)
 216 {
 217   test_array_ref_2_3 ();
 218   test_array_off_2_3 ();
 219
 220   test_array_ref_2_2_5 ();
 221   test_array_off_2_2_5 ();
 222 }