gcc/testsuite/gcc.dg/pr78138.c

   1 /* PR middle-end/78138 - missing warnings on buffer overflow with non-constant
   2    source length
   3    { dg-do compile }
   4    { dg-options "-O2 -Wformat-overflow" } */
   5
   6 char d [5];
   7
   8 __extension__ typedef __SIZE_TYPE__ size_t;
   9
  10 void* memcpy (void*, const void*, size_t);
  11 extern char* strcpy (char*, const char*);
  12
  13 void f (int i, int j)
  14 {
  15   strcpy (d, j ? "12345" : "123456");   /* { dg-warning ".strcpy. writing between 6 and 7 bytes into a region of size 5 " } */
  16 }
  17
  18 void g (void *p)
  19 {
  20   extern unsigned n;
  21   if (n < 17 || 32 < n) n = 7;
  22
  23   memcpy (d, p, n);   /* { dg-warning ".memcpy. writing between 7 and 32 bytes into a region of size 5" } */
  24 };