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

   1 /* PR tree-optimization/78450 - strlen(s) return value can be assumed
   2    to be less than the size of s
   3    { dg-do compile }
   4    { dg-options "-O2 -fdump-tree-optimized" } */
   5
   6 #include "strlenopt.h"
   7
   8 extern char ax[];
   9
  10 struct MemArray7 { char a7[7]; };
  11 struct MemArray6 { char a6[6]; };
  12 struct MemArray5 { char a5[5]; };
  13 struct MemArray4 { char a4[4]; };
  14 struct MemArray3 { char a3[3]; };
  15 struct MemArray2 { char a2[2]; };
  16 struct MemArray1 { char a1[1]; };
  17 struct MemArray0 { int n; char a0[0]; };
  18 struct MemArrayX { int n; char ax[]; };
  19
  20 struct MemArrays
  21 {
  22   struct MemArray7 *ma7;
  23   struct MemArray6 *ma6;
  24   struct MemArray5 *ma5;
  25   struct MemArray4 *ma4;
  26   struct MemArray3 *ma3;
  27   struct MemArray2 *ma2;
  28   struct MemArray1 *ma1;
  29   struct MemArray0 *ma0;
  30   struct MemArrayX *max;
  31 };
  32
  33 extern void if_stmt_on_line (int);
  34 extern void else_stmt_on_line (int);
  35
  36 #define T(expr)                                                         \
  37   (!!(expr) ? if_stmt_on_line (__LINE__) : else_stmt_on_line (__LINE__))
  38
  39 void test_memarray_lt (struct MemArrays *p)
  40 {
  41   T (strlen (p->ma7->a7) < sizeof p->ma7->a7);
  42   T (strlen (p->ma6->a6) < sizeof p->ma6->a6);
  43   T (strlen (p->ma5->a5) < sizeof p->ma5->a5);
  44   T (strlen (p->ma4->a4) < sizeof p->ma4->a4);
  45   T (strlen (p->ma3->a3) < sizeof p->ma3->a3);
  46   T (strlen (p->ma2->a2) < sizeof p->ma2->a2);
  47   T (strlen (p->ma1->a1) < sizeof p->ma1->a1);
  48
  49   T (strlen (p->ma0->a0) < 1);
  50   T (strlen (p->max->ax) < 1);
  51 }
  52
  53 void test_memarray_eq (struct MemArrays *p)
  54 {
  55   T (strlen (p->ma7->a7) == sizeof p->ma7->a7);
  56   T (strlen (p->ma6->a6) == sizeof p->ma6->a6);
  57   T (strlen (p->ma5->a5) == sizeof p->ma5->a5);
  58   T (strlen (p->ma4->a4) == sizeof p->ma4->a4);
  59   T (strlen (p->ma3->a3) == sizeof p->ma3->a3);
  60   T (strlen (p->ma2->a2) == sizeof p->ma2->a2);
  61   T (strlen (p->ma1->a1) == sizeof p->ma1->a1);
  62
  63   T (strlen (p->ma0->a0) == 1);
  64   T (strlen (p->max->ax) == 1);
  65 }
  66
  67 void test_memarray_gt (struct MemArrays *p)
  68 {
  69   T (strlen (p->ma7->a7) > sizeof p->ma7->a7);
  70   T (strlen (p->ma6->a6) > sizeof p->ma6->a6);
  71   T (strlen (p->ma5->a5) > sizeof p->ma5->a5);
  72   T (strlen (p->ma4->a4) > sizeof p->ma4->a4);
  73   T (strlen (p->ma3->a3) > sizeof p->ma3->a3);
  74   T (strlen (p->ma2->a2) > sizeof p->ma2->a2);
  75   T (strlen (p->ma1->a1) > sizeof p->ma1->a1);
  76
  77   T (strlen (p->ma0->a0) > 1);
  78   T (strlen (p->max->ax) > 1);
  79  }
  80
  81 /* Verify that no if or else statements have been eliminated.
  82    { dg-final { scan-tree-dump-times "if_stmt_on_line" 27 "optimized" } }
  83    { dg-final { scan-tree-dump-times "else_stmt_on_line" 27 "optimized" } }  */