1  /* Verify that -Wstringop-overflow doesn't cause false positives for
       2     anti-ranges.  Note that not all of the statements below result in
       3     the memset argument being represented as an anti-range.
       4  
       5     { dg-do compile }
       6     { dg-options "-O2 -Wstringop-overflow" } */
       7  
       8  #define SCHAR_MAX __SCHAR_MAX__
       9  #define UCHAR_MAX (SCHAR_MAX * 2 + 1)
      10  
      11  #define SHRT_MAX  __SHRT_MAX__
      12  #define USHRT_MAX (SHRT_MAX * 2U + 1)
      13  
      14  #define INT_MAX   __INT_MAX__
      15  #define UINT_MAX  (INT_MAX * 2U + 1)
      16  
      17  #define LONG_MAX __LONG_MAX__
      18  #define ULONG_MAX (LONG_MAX * 2LU + 1)
      19  
      20  #define PTRDIFF_MAX __PTRDIFF_MAX__
      21  #define SIZE_MAX    __SIZE_MAX__
      22  
      23  typedef __PTRDIFF_TYPE__ ptrdiff_t;
      24  typedef __SIZE_TYPE__    size_t;
      25  
      26  #define TEST_AR_1(T, prefix)			\
      27    void test_ar_1_ ## prefix (void *d, T n)	\
      28    {						\
      29      if (n == prefix ## _MAX - 1)		\
      30        n = prefix ## _MAX - 2;			\
      31      __builtin_memset (d, 0, n);			\
      32    } typedef void dummy
      33  
      34  #define TEST_AR_2(T, prefix)					\
      35    void test_ar_2_ ## prefix (void *d, T n)			\
      36    {								\
      37      if (prefix ## _MAX - 2 <= n && n <= prefix ## _MAX - 1)	\
      38        n = prefix ## _MAX - 3;					\
      39      __builtin_memset (d, 0, n);					\
      40    } typedef void dummy
      41  
      42  /* Verify antirange where MIN == MAX.  */
      43  TEST_AR_1 (signed char, SCHAR);
      44  TEST_AR_1 (unsigned char, UCHAR);
      45  
      46  TEST_AR_1 (short, SHRT);
      47  TEST_AR_1 (unsigned short, USHRT);
      48  
      49  TEST_AR_1 (int, INT);
      50  TEST_AR_1 (unsigned, UINT);
      51  
      52  TEST_AR_1 (long, LONG);
      53  TEST_AR_1 (unsigned long, ULONG);
      54  
      55  TEST_AR_1 (ptrdiff_t, PTRDIFF);
      56  TEST_AR_1 (size_t, SIZE);
      57  
      58  /* Verify antirange where MIN < MAX.  */
      59  TEST_AR_2 (signed char, SCHAR);
      60  TEST_AR_2 (unsigned char, UCHAR);
      61  
      62  TEST_AR_2 (short, SHRT);
      63  TEST_AR_2 (unsigned short, USHRT);
      64  
      65  TEST_AR_2 (int, INT);
      66  TEST_AR_2 (unsigned, UINT);
      67  
      68  TEST_AR_2 (long, LONG);
      69  TEST_AR_2 (unsigned long, ULONG);
      70  
      71  TEST_AR_2 (ptrdiff_t, PTRDIFF);
      72  TEST_AR_2 (size_t, SIZE);