1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
       3  /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -Wno-volatile" { target c++ } } */
       4  
       5  #define INT_MAX __INT_MAX__
       6  #define INT_MIN (-__INT_MAX__ - 1)
       7  #define LONG_MAX __LONG_MAX__
       8  #define LONG_MIN (-__LONG_MAX__ - 1L)
       9  #define LLONG_MAX __LONG_LONG_MAX__
      10  #define LLONG_MIN (-__LONG_LONG_MAX__ - 1L)
      11  
      12  int
      13  main (void)
      14  {
      15    volatile int j = INT_MAX;
      16    volatile int i = 1;
      17    volatile int k = j + i;
      18    k = i + j;
      19    j++;
      20    j = INT_MAX - 100;
      21    j += (1 << 10);
      22  
      23    j = INT_MIN;
      24    i = -1;
      25    k = i + j;
      26    k = j + i;
      27    j = INT_MIN + 100;
      28    j += -(1 << 10);
      29  
      30    volatile long int m = LONG_MAX;
      31    volatile long int n = 1;
      32    volatile long int o = m + n;
      33    o = n + m;
      34    m++;
      35    m = LONG_MAX - 100;
      36    m += (1 << 10);
      37  
      38    m = LONG_MIN;
      39    n = -1;
      40    o = m + n;
      41    o = n + m;
      42    m = LONG_MIN + 100;
      43    m += -(1 << 10);
      44  
      45    return 0;
      46  }
      47  
      48  /* { dg-output "signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      49  /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ 2147483647 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      50  /* { dg-output "\[^\n\r]*signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      51  /* { dg-output "\[^\n\r]*signed integer overflow: 2147483547 \\+ 1024 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      52  /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -2147483648 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      53  /* { dg-output "\[^\n\r]*signed integer overflow: -2147483648 \\+ -1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      54  /* { dg-output "\[^\n\r]*signed integer overflow: -2147483548 \\+ -1024 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      55  /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      56  /* { dg-output "\[^\n\r]*signed integer overflow: 1 \\+ \[^\n\r]* cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      57  /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      58  /* { dg-output "\[^\n\r]*signed integer overflow: \[^\n\r]* \\+ 1024 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      59  /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1 cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      60  /* { dg-output "\[^\n\r]*signed integer overflow: -1 \\+ -\[^\n\r]* cannot be represented in type 'long int'\[^\n\r]*(\n|\r\n|\r)" } */
      61  /* { dg-output "\[^\n\r]*signed integer overflow: -\[^\n\r]* \\+ -1024 cannot be represented in type 'long int'" } */