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

   1 /* PR 85365 - -Wrestrict false positives with -fsanitize=undefined
   2    { dg-do compile }
   3    { dg-options "-O2 -Wrestrict -fsanitize=undefined" } */
   4
   5 typedef __SIZE_TYPE__ size_t;
   6
   7 char *strcpy (char *, const char *);
   8 char *strcat (char *, const char *);
   9
  10 size_t strlen (char *);
  11
  12 extern char a[], b[], d[];
  13
  14 size_t t1 (char *g, int i)
  15 {
  16   /* The following exercises the handling in gimple-fold.c.  */
  17   strcpy (g + 4, i ? b : a);    /* { dg-bogus "\\\[-Wrestrict]" } */
  18   return strlen (g + 4);
  19 }
  20
  21 void t2 (char *g, int i)
  22 {
  23   strcpy (g + 4, i ? b : a);    /* { dg-bogus "\\\[-Wrestrict]" } */
  24   strcat (g + 4, d);
  25 }
  26
  27 void t3 (char *g, int i)
  28 {
  29   /* The following exercises the handling in gimple-ssa-warn-restrict.c.  */
  30   strcat (g + 4, i ? b : a);    /* { dg-bogus "\\\[-Wrestrict]" } */
  31   strcat (g + 4, d);
  32 }
  33
  34 void t4 (char *p, char *q)
  35 {
  36   strcpy (p, q);                /* { dg-bogus "\\\[-Wrestrict]" } */
  37   strcat (p, q + 32);
  38 }