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

   1 /* PR tree-optimization/86428 - strlen of const array initialized with
   2    a string of the same length not folded
   3    { dg-do compile }
   4    { dg-options "-O0 -Wall -fdump-tree-gimple" } */
   5
   6 #include "strlenopt.h"
   7
   8 const char a1[1] = "\0";
   9 const char a2[2] = "1\0";
  10 const char a3[3] = "12\0";
  11 const char a8[8] = "1234567\0";
  12 const char a9[9] = "12345678\0";
  13
  14 const char ax[9] = "12345678\0\0\0\0";   /* { dg-warning "initializer-string for array of 'char' is too long" } */
  15 const char ay[9] = "\00012345678\0\0\0\0";   /* { dg-warning "initializer-string for array of 'char' is too long" } */
  16
  17
  18 int len1 (void)
  19 {
  20   size_t len0 = strlen (a1);
  21   return len0;
  22 }
  23
  24 int len (void)
  25 {
  26   size_t len = strlen (a2) + strlen (a3) + strlen (a8) + strlen (a9);
  27   return len;
  28 }
  29
  30 int lenx (void)
  31 {
  32   size_t lenx = strlen (ax);
  33   return lenx;
  34 }
  35
  36 int leny (void)
  37 {
  38   size_t leny = strlen (ay);
  39   return leny;
  40 }
  41
  42 int cmp88 (void)
  43 {
  44   int cmp88 = memcmp (a8, "1234567\0", sizeof a8);
  45   return cmp88;
  46 }
  47
  48 /* { dg-final { scan-tree-dump-times "strlen1" 0 "gimple" } }
  49    { dg-final { scan-tree-dump-times "len0 = 0;" 1 "gimple" } }
  50    { dg-final { scan-tree-dump-times "len = 18;" 1 "gimple" } }
  51    { dg-final { scan-tree-dump-times "lenx = 8;" 1 "gimple" } }
  52    { dg-final { scan-tree-dump-times "leny = 0;" 1 "gimple" } }
  53    { dg-final { scan-tree-dump-times "cmp88 = 0;" 1 "gimple" } } */