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

   1 /* PR tree-optimization/84095 - false-positive -Wrestrict warnings for
   2    memcpy within array
   3    { dg-do compile }
   4    { dg-options "-O2 -Wrestrict -ftrack-macro-expansion=0" } */
   5
   6 typedef __SIZE_TYPE__ size_t;
   7
   8 extern void* memcpy (void* restrict, const void* restrict, size_t);
   9
  10 void foo (void *);
  11
  12 #define T(d, s, n)   do { memcpy (d, s, n); foo (d); } while (0)
  13
  14 struct S1 { char c; } a8_1[8];
  15
  16 void test_1_dim_var (int i, int j)
  17 {
  18   /* Variable destination index and constant source index.  */
  19   T (&a8_1[i], &a8_1[0], 1);
  20   T (&a8_1[i], &a8_1[0], 2);
  21   T (&a8_1[i], &a8_1[0], 3);
  22   T (&a8_1[i], &a8_1[0], 4);
  23
  24   T (&a8_1[i], &a8_1[0], 5);    /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
  25   T (&a8_1[i], &a8_1[0], 6);    /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and 0 overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
  26   T (&a8_1[i], &a8_1[0], 7);    /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and 0 overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
  27   T (&a8_1[i], &a8_1[0], 8);    /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
  28
  29   /* The following is diagnosed by -Warray-bounds when it's enabled
  30      rather than by -Wrestrict.  */
  31   T (&a8_1[i], &a8_1[0], 9);    /* { dg-warning "accessing 9 bytes at offsets \\\[0, 8] and 0 overlaps 9 bytes at offset 0" } */
  32
  33   /* Same as above but with constant destination index and variable
  34      source index.  */
  35   T (&a8_1[0], &a8_1[i], 1);
  36   T (&a8_1[0], &a8_1[i], 2);
  37   T (&a8_1[0], &a8_1[i], 3);
  38   T (&a8_1[0], &a8_1[i], 4);
  39
  40   T (&a8_1[0], &a8_1[i], 5);    /* { dg-warning "accessing 5 bytes at offsets 0 and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
  41   T (&a8_1[0], &a8_1[i], 6);    /* { dg-warning "accessing 6 bytes at offsets 0 and \\\[0, 8] overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
  42   T (&a8_1[0], &a8_1[i], 7);    /* { dg-warning "accessing 7 bytes at offsets 0 and \\\[0, 8] overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
  43   T (&a8_1[0], &a8_1[i], 8);    /* { dg-warning "accessing 8 bytes at offsets 0 and \\\[0, 8] overlaps 8 bytes at offset 0" } */
  44   T (&a8_1[0], &a8_1[i], 9);    /* { dg-warning "accessing 9 bytes at offsets 0 and \\\[0, 8] overlaps 9 bytes at offset 0" } */
  45
  46
  47   /* Variable destination and source indices.  */
  48   T (&a8_1[i], &a8_1[j], 1);
  49   T (&a8_1[i], &a8_1[j], 2);
  50   T (&a8_1[i], &a8_1[j], 3);
  51   T (&a8_1[i], &a8_1[j], 4);
  52
  53   T (&a8_1[i], &a8_1[j], 5);    /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3\\\]" } */
  54   T (&a8_1[i], &a8_1[j], 6);    /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 4 and 6 bytes at offset \\\[0, 2\\\]" } */
  55   T (&a8_1[i], &a8_1[j], 7);    /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 6 and 7 bytes at offset \\\[0, 1\\\]" } */
  56   T (&a8_1[i], &a8_1[j], 8);    /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
  57
  58   /* The following is diagnosed by -Warray-bounds when it's enabled
  59      rather than by -Wrestrict.  */
  60   T (&a8_1[i], &a8_1[j], 9);    /* { dg-warning "accessing 9 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 9 bytes at offset 0" } */
  61 }
  62
  63 struct S4 { char a4[4]; } a2_4[2];
  64
  65 void test_2_dim (int i, int j)
  66 {
  67   T (&a2_4[i], &a2_4[0], 1);
  68   T (&a2_4[i], &a2_4[0], 4);
  69
  70   T (&a2_4[i], &a2_4[0], 5);    /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
  71   T (&a2_4[i], &a2_4[0], 6);    /* { dg-warning "accessing 6 bytes at offsets \\\[0, 8] and 0 overlaps between 4 and 6 bytes at offset \\\[0, 2]" } */
  72   T (&a2_4[i], &a2_4[0], 7);    /* { dg-warning "accessing 7 bytes at offsets \\\[0, 8] and 0 overlaps between 6 and 7 bytes at offset \\\[0, 1]" } */
  73   T (&a2_4[i], &a2_4[0], 8);    /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
  74
  75   T (a2_4[i].a4, a2_4[0].a4, 1);
  76   T (a2_4[i].a4, a2_4[0].a4, 4);
  77
  78   T (a2_4[i].a4, a2_4[0].a4, 5);   /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and 0 overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
  79   T (a2_4[i].a4, a2_4[0].a4, 8);   /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and 0 overlaps 8 bytes at offset 0" } */
  80
  81   T (a2_4[i].a4, a2_4[j].a4, 1);
  82   T (a2_4[i].a4, a2_4[j].a4, 4);
  83
  84   /* The destination and source offsets printed below ignore the size
  85      of the copy and only indicate the values that are valid for each
  86      of the destination and source arguments on its own, without
  87      considering the size of the overlapping access.  */
  88   T (a2_4[i].a4, a2_4[j].a4, 5);   /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
  89   T (a2_4[i].a4, a2_4[j].a4, 8);   /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
  90
  91   /* Same as above but referencing the first elements of each array.  */
  92   T (&a2_4[i].a4[0], &a2_4[j].a4[0], 1);
  93   T (&a2_4[i].a4[0], &a2_4[j].a4[0], 4);
  94
  95   T (&a2_4[i].a4[0], &a2_4[j].a4[0], 5);   /* { dg-warning "accessing 5 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps between 2 and 5 bytes at offset \\\[0, 3]" } */
  96   T (&a2_4[i].a4[0], &a2_4[j].a4[0], 8);   /* { dg-warning "accessing 8 bytes at offsets \\\[0, 8] and \\\[0, 8] overlaps 8 bytes at offset 0" } */
  97
  98   T (&a2_4[i].a4[0], &a2_4[j].a4[1], 3);
  99   T (&a2_4[i].a4[0], &a2_4[j].a4[2], 2);
 100   T (&a2_4[i].a4[0], &a2_4[j].a4[3], 1);
 101 }
 102
 103 struct { int i; } a2[2][8];
 104
 105 void test_single_2_dim_major (int i)
 106 {
 107   memcpy (&a2[i], &a2[0], sizeof *a2);   /* { dg-bogus "\\\[-Wrestrict]" } */
 108 }
 109
 110 void test_single_2_dim_minor (int i)
 111 {
 112   memcpy (&a2[i][0], &a2[0][0], sizeof a2[0][0]);   /* { dg-bogus "\\\[-Wrestrict]" } */
 113 }
 114
 115 void test_single_2_dim_major_minor (int i, int j)
 116 {
 117   memcpy (&a2[i][j], &a2[0][0], sizeof a2[0][0]);   /* { dg-bogus "\\\[-Wrestrict]" } */
 118 }