gcc/testsuite/gcc.dg/Wstringop-truncation-8.c

   1 /* PR tree-optimization/89644 - False-positive -Warray-bounds diagnostic
   2    on strncpy
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall -ftrack-macro-expansion=0" }  */
   5
   6 #define NONSTR __attribute__ ((nonstring))
   7
   8 typedef __SIZE_TYPE__ size_t;
   9
  10 size_t strlen (const char*);
  11 extern char* stpncpy (char*, const char*, size_t);
  12 extern char* strncpy (char*, const char*, size_t);
  13
  14 void sink (char*, ...);
  15
  16 char f0 (char *s)
  17 {
  18   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  19   if (*s)
  20     strncpy (a, s, sizeof a);       /* { dg-bogus "\\\[-Warray-bounds" } */
  21   return a[0];
  22 }
  23
  24 void f1 (char *s)
  25 {
  26   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  27   if (*s)
  28     strncpy (a, s, sizeof a);       /* { dg-bogus "\\\[-Warray-bounds" } */
  29   sink (a);
  30 }
  31
  32 char f2 (void)
  33 {
  34   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  35   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  36   strncpy (a, b + 1, 5);            /* { dg-bogus "\\\[-Warray-bounds" } */
  37   return a[0];
  38 }
  39
  40 void f3 (void)
  41 {
  42   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  43   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  44   strncpy (a, b + 2, 4);            /* { dg-bogus "\\\[-Warray-bounds" } */
  45   sink (a);
  46 }
  47
  48 void f4 (NONSTR char *d)
  49 {
  50   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  51   strncpy (d, b + 3, 3);            /* { dg-bogus "\\\[-Warray-bounds" } */
  52   sink (d);
  53 }
  54
  55
  56 char g0 (char *s)
  57 {
  58   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  59   if (*s)
  60     stpncpy (a, s, sizeof a);       /* { dg-bogus "\\\[-Warray-bounds" } */
  61   return a[0];
  62 }
  63
  64 void g1 (char *s)
  65 {
  66   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  67   char *p = 0;
  68   if (*s)
  69     p = stpncpy (a, s, sizeof a);   /* { dg-bogus "\\\[-Warray-bounds" } */
  70   sink (a, p);
  71 }
  72
  73 char g2 (void)
  74 {
  75   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  76   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  77   stpncpy (a, b + 1, 5);            /* { dg-bogus "\\\[-Warray-bounds" } */
  78   return a[0];
  79 }
  80
  81 void g3 (void)
  82 {
  83   char a[6] NONSTR = { 1, 2, 3, 4, 5, 6 };
  84   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  85   char *p = stpncpy (a, b + 2, 4);  /* { dg-bogus "\\\[-Warray-bounds" } */
  86   sink (a, p);
  87 }
  88
  89 void g4 (NONSTR char *d)
  90 {
  91   char b[6] NONSTR = { 6, 5, 4, 3, 2, 1 };
  92   char *p = stpncpy (d, b + 3, 3);  /* { dg-bogus "\\\[-Warray-bounds" } */
  93   sink (d, p);
  94 }