gcc/testsuite/gcc.dg/Wrestrict-10.c

   1 /* PR tree-optimization/84526 - ICE in generic_overlap
   2    { dg-do compile }
   3    { dg-options "-O2 -Wrestrict" } */
   4
   5 typedef __SIZE_TYPE__ size_t;
   6
   7 extern void* memcpy (void* restrict, const void* restrict, size_t);
   8 extern char* strcat (char* restrict, const char* restrict);
   9 extern char* strcpy (char* restrict, const char* restrict);
  10 extern char* strncat (char* restrict, const char* restrict, size_t);
  11 extern char* strncpy (char* restrict, const char* restrict, size_t);
  12
  13 struct
  14 {
  15   char a[1];
  16 } b;
  17
  18 int i;
  19 size_t n;
  20
  21 void __attribute__ ((noclone, noinline))
  22 test_arr_memcpy_1 (void)
  23 {
  24   memcpy (&b.a[i], b.a, n);
  25 }
  26
  27 void __attribute__ ((noclone, noinline))
  28 test_arr_memcpy_2 (void)
  29 {
  30   memcpy (b.a, &b.a[i], n);
  31 }
  32
  33 void __attribute__ ((noclone, noinline))
  34 test_arr_strcat_1 (void)
  35 {
  36   strcat (&b.a[i], b.a);            /* { dg-warning "\\\[-Wrestrict" } */
  37 }
  38
  39 void __attribute__ ((noclone, noinline))
  40 test_arr_strcat_2 (void)
  41 {
  42   /* This probably deserves a warning.  */
  43   strcpy (b.a, &b.a[i]);
  44 }
  45
  46 void __attribute__ ((noclone, noinline))
  47 test_arr_strncat_1 (void)
  48 {
  49   strncat (&b.a[i], b.a, n);        /* { dg-warning "\\\[-Wrestrict" } */
  50 }
  51
  52 void __attribute__ ((noclone, noinline))
  53 test_arr_strncat_2 (void)
  54 {
  55   strncat (b.a, &b.a[i], n);        /* { dg-warning "\\\[-Wrestrict" } */
  56 }
  57
  58 void __attribute__ ((noclone, noinline))
  59 test_arr_strcpy_1 (void)
  60 {
  61   strcpy (&b.a[i], b.a);            /* { dg-warning "\\\[-Wrestrict" } */
  62 }
  63
  64 void __attribute__ ((noclone, noinline))
  65 test_arr_strcpy_2 (void)
  66 {
  67   strcpy (b.a, &b.a[i]);
  68 }
  69
  70
  71 struct S {
  72   int a;
  73   char b[10];
  74 } d;
  75
  76 void __attribute__ ((noclone, noinline))
  77 test_obj_memcpy_1 (void)
  78 {
  79   memcpy (d.b, (char *) &d, n);
  80 }
  81
  82 void __attribute__ ((noclone, noinline))
  83 test_obj_memcpy_2 (void)
  84 {
  85   memcpy ((char *) &d, d.b, n);
  86 }
  87
  88 void __attribute__ ((noclone, noinline))
  89 test_obj_strcpy_1 (void)
  90 {
  91   strcpy (d.b, (char *) &d);
  92 }
  93
  94 void __attribute__ ((noclone, noinline))
  95 test_obj_strcpy_2 (void)
  96 {
  97   strcpy ((char *) &d, d.b);
  98 }
  99
 100 void __attribute__ ((noclone, noinline))
 101 test_obj_strncat_1 (void)
 102 {
 103   strncat (d.b, (char *) &d, n);    /* { dg-warning "\\\[-Wrestrict" } */
 104 }
 105
 106 void __attribute__ ((noclone, noinline))
 107 test_obj_strncat_2 (void)
 108 {
 109   strncat ((char *) &d, d.b, n);    /* { dg-warning "\\\[-Wrestrict" } */
 110 }
 111
 112 void __attribute__ ((noclone, noinline))
 113 test_obj_strncpy_1 (void)
 114 {
 115   strncpy (d.b, (char *) &d, n);
 116 }
 117
 118 void test_obj_strncpy_2 (void)
 119 {
 120   strncpy ((char *) &d, d.b, n);
 121 }