1  /* PR middle-end/88771 - Misleading -Werror=array-bounds error
       2     Verify that the warning issued for calls to "bounded" string
       3     functions when -Wstringop-overflow is disabled is -Warray-bounds
       4     with the right wording.
       5     { dg-do compile }
       6     { dg-options "-O2 -Wall -Wno-stringop-overflow -Wno-stringop-overread" } */
       7  
       8  #define PTRDIFF_MAX   __PTRDIFF_MAX__
       9  #define SIZE_MAX      __SIZE_MAX__
      10  
      11  typedef __SIZE_TYPE__ size_t;
      12  
      13  extern void* memcpy (void*, const void*, size_t);
      14  extern void* memmove (void*, const void*, size_t);
      15  extern void* memset (void*, int, size_t);
      16  
      17  extern char* stpncpy (char*, const char*, size_t);
      18  
      19  extern char* strncat (char*, const char*, size_t);
      20  extern char* strncpy (char*, const char*, size_t);
      21  
      22  extern char* strndup (const char*, size_t);
      23  
      24  extern int strncmp (const char*, const char*, size_t);
      25  extern int strncasecmp (const char*, const char*, size_t);
      26  
      27  extern size_t strnlen (const char*, size_t);
      28  
      29  extern char *d;
      30  extern const char *s;
      31  
      32  
      33  void test_memcpy (void)
      34  {
      35    memcpy (d, s, SIZE_MAX);        /* { dg-warning ".memcpy. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      36  }
      37  
      38  void test_memmove (void)
      39  {
      40    memmove (d, s, SIZE_MAX - 1);   /* { dg-warning ".memmove. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      41  }
      42  
      43  void test_memset (void)
      44  {
      45    memset (d, 0, SIZE_MAX - 2);    /* { dg-warning ".memset. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      46  }
      47  
      48  
      49  char* test_stpncpy (void)
      50  {
      51    return stpncpy (d, s, SIZE_MAX - 4);   /* { dg-warning ".stpncpy. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      52  }
      53  
      54  
      55  void test_strncat (void)
      56  {
      57    strncat (d, s, SIZE_MAX - 3);   /* { dg-warning ".strncat. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      58  }
      59  
      60  void test_strncpy (void)
      61  {
      62    strncpy (d, s, SIZE_MAX - 4);   /* { dg-warning ".strncpy. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" } */
      63  }
      64  
      65  char* test_strndup (void)
      66  {
      67    return strndup (s, SIZE_MAX - 5);   /* { dg-warning ".strndup. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" "bug" { xfail *-*-* } } */
      68  }
      69  
      70  size_t test_strnlen (void)
      71  {
      72    return strnlen (s, SIZE_MAX - 6);   /* { dg-warning ".strnlen. pointer overflow between offset 0 and size \[0-9\]+ \\\[-Warray-bounds" "bug" { xfail *-*-* } } */
      73  }