1  /* PR middle-end/78622 - [7 Regression] -Wformat-overflow/-fprintf-return-value
       2     incorrect with overflow/wrapping
       3     { dg-do compile }
       4     { dg-options "-Wformat-overflow=2" }
       5     The h and hh length modifiers are a C99 feature (see PR 78959).
       6     { dg-require-effective-target c99_runtime }  */
       7  
       8  char buf[1];
       9  
      10  int test_uchar_hhd (unsigned char x)
      11  {
      12    if (x < 64 || x > 2U * __SCHAR_MAX__ - 10)
      13      return -1;
      14  
      15    return __builtin_sprintf (buf, "%hhd", x + 1);   /* { dg-warning "directive writing between 1 and 4 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      16  }
      17  
      18  int test_uint_hhd (unsigned x)
      19  {
      20    if (x < 64 || x > 2U * __INT_MAX__ - 10)
      21      return -1;
      22  
      23    return __builtin_sprintf (buf, "%hhd", x + 1);   /* { dg-warning "directive writing between 1 and 4 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      24  }
      25  
      26  int test_schar_hhu (signed char x)
      27  {
      28    if (x < -9 || x > 9)
      29      return -1;
      30  
      31    return __builtin_sprintf (buf, "%hhu", x + 1);   /* { dg-warning "directive writing between 1 and 3 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      32  }
      33  
      34  int test_ushort_hd (unsigned short x)
      35  {
      36    if (x < 64 || x > 2U * __SHRT_MAX__ - 10)
      37      return -1;
      38  
      39    return __builtin_sprintf (buf, "%hd", x + 1);   /* { dg-warning "directive writing between 1 and 6 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      40  }
      41  
      42  int test_uint_d (unsigned x)
      43  {
      44    if (x < 64 || x > 2U * __INT_MAX__ - 10)
      45      return -1;
      46  
      47    return __builtin_sprintf (buf, "%d", x + 1);   /* { dg-warning "directive writing between 1 and 11 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      48  }
      49  
      50  int test_ulong_ld (unsigned long x)
      51  {
      52    if (x < 64 || x > 2LU * __LONG_MAX__ - 10)
      53      return -1;
      54  
      55    return __builtin_sprintf (buf, "%ld", x + 1);   /* { dg-warning "directive writing between 1 and 11 bytes into a region of size 1" "ilp32" { target { ilp32 } } } */
      56    /* { dg-warning "directive writing between 1 and 20 bytes into a region of size 1" "lp64" { target { lp64 } } .-1 } */
      57  }
      58  
      59  int test_ullong_lld (unsigned long long x)
      60  {
      61    if (x < 64 || x > 2LLU * __LONG_LONG_MAX__ - 10)
      62      return -1;
      63  
      64    return __builtin_sprintf (buf, "%lld", x + 1);   /* { dg-warning "directive writing between 1 and 20 bytes into a region of size 1" "int32plus" { target { int32plus } } } */
      65  }