gcc/testsuite/gcc.dg/strlenopt-63.c

   1 /* PR tree-optimization/90662 - strlen of a string in a vla plus offset
   2    not folded
   3    Verify that strlen of pointers to char arrays are computed correctly
   4    (whether folded or not).
   5    { dg-do run }
   6    { dg-options "-O2 -Wall" } */
   7
   8 #include "strlenopt.h"
   9
  10 #define A(expr)                                                 \
  11   ((expr)                                                       \
  12    ? (void)0                                                    \
  13    : (__builtin_printf ("assertion failed on line %i: %s\n",    \
  14                         __LINE__, #expr),                       \
  15       __builtin_abort ()))
  16
  17 typedef char A5[5];
  18
  19 A5 a5[5];
  20 A5* p[5] = { &a5[4], &a5[3], &a5[2], &a5[1], &a5[0] };
  21
  22 __attribute__ ((noclone, noinline, noipa))
  23 void deref_deref (void)
  24 {
  25   strcpy (**p, "12345");
  26   A (strlen (**p) == 5);
  27 }
  28
  29 __attribute__ ((noclone, noinline, noipa))
  30 void deref_idx_0 (void)
  31 {
  32   strcpy (*p[0], "");
  33   A (strlen (*p[0]) == 0);
  34 }
  35
  36 __attribute__ ((noclone, noinline, noipa))
  37 void deref_idx_1 (void)
  38 {
  39   strcpy (*p[1], "1");
  40   A (strlen (*p[1]) == 1);
  41   A (strlen (&(*p[1])[1]) == 0);
  42
  43   A (strlen (*p[0]) == 0);
  44 }
  45
  46 __attribute__ ((noclone, noinline, noipa))
  47 void deref_idx_2 (void)
  48 {
  49   strcpy (*p[2], "12");
  50   A (strlen (*p[2]) == 2);
  51   A (strlen (&(*p[2])[1]) == 1);
  52   A (strlen (&(*p[2])[2]) == 0);
  53
  54   A (strlen (*p[1]) == 1);
  55   A (strlen (*p[0]) == 0);
  56 }
  57
  58 __attribute__ ((noclone, noinline, noipa))
  59 void deref_idx_3 (void)
  60 {
  61   strcpy (*p[3], "123");
  62   A (strlen (*p[3]) == 3);
  63   A (strlen (&(*p[3])[1]) == 2);
  64   A (strlen (&(*p[3])[2]) == 1);
  65   A (strlen (&(*p[3])[3]) == 0);
  66
  67   A (strlen (*p[2]) == 2);
  68   A (strlen (*p[1]) == 1);
  69   A (strlen (*p[0]) == 0);
  70 }
  71
  72 __attribute__ ((noclone, noinline, noipa))
  73 void deref_idx_4 (void)
  74 {
  75   strcpy (*p[4], "1234");
  76   A (strlen (*p[4]) == 4);
  77   A (strlen (&(*p[4])[1]) == 3);
  78   A (strlen (&(*p[4])[2]) == 2);
  79   A (strlen (&(*p[4])[3]) == 1);
  80   A (strlen (&(*p[4])[4]) == 0);
  81
  82   A (strlen (*p[3]) == 3);
  83   A (strlen (*p[2]) == 2);
  84   A (strlen (*p[1]) == 1);
  85   A (strlen (*p[0]) == 0);
  86 }
  87
  88 __attribute__ ((noclone, noinline, noipa))
  89 void deref_idx_4_x (void)
  90 {
  91   strcpy (*p[4], "");
  92   A (strlen (*p[4]) == 0);
  93   A (strlen (*p[3]) == 3);
  94   A (strlen (*p[2]) == 2);
  95   A (strlen (*p[1]) == 1);
  96   A (strlen (*p[0]) == 0);
  97 }
  98
  99 __attribute__ ((noclone, noinline, noipa))
 100 void deref_idx_3_x (void)
 101 {
 102   strcpy (&(*p[3])[0], "1");
 103   A (strlen (*p[4]) == 0);
 104   A (strlen (*p[3]) == 1);
 105   A (strlen (*p[2]) == 2);
 106   A (strlen (*p[1]) == 1);
 107   A (strlen (*p[0]) == 0);
 108 }
 109
 110 __attribute__ ((noclone, noinline, noipa))
 111 void deref_idx_2_x (void)
 112 {
 113   strcpy (*p[2], "12");
 114   A (strlen (*p[4]) == 0);
 115   A (strlen (*p[3]) == 1);
 116   A (strlen (*p[2]) == 2);
 117   A (strlen (*p[1]) == 1);
 118   A (strlen (*p[0]) == 0);
 119 }
 120
 121 __attribute__ ((noclone, noinline, noipa))
 122 void deref_idx_1_x (void)
 123 {
 124   strcpy (*p[1], "123");
 125   A (strlen (*p[4]) == 0);
 126   A (strlen (*p[3]) == 1);
 127   A (strlen (*p[2]) == 2);
 128   A (strlen (*p[1]) == 3);
 129   A (strlen (*p[0]) == 0);
 130 }
 131
 132 __attribute__ ((noclone, noinline, noipa))
 133 void deref_idx_0_x (void)
 134 {
 135   strcpy (*p[0], "1234");
 136   A (strlen (*p[4]) == 0);
 137   A (strlen (*p[3]) == 1);
 138   A (strlen (*p[2]) == 2);
 139   A (strlen (*p[1]) == 3);
 140   A (strlen (*p[0]) == 4);
 141 }
 142
 143 int main (void)
 144 {
 145   deref_deref ();
 146
 147   deref_idx_0 ();
 148   deref_idx_1 ();
 149   deref_idx_2 ();
 150   deref_idx_3 ();
 151   deref_idx_4 ();
 152
 153   deref_idx_4_x ();
 154   deref_idx_3_x ();
 155   deref_idx_2_x ();
 156   deref_idx_1_x ();
 157   deref_idx_0_x ();
 158 }