1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -fno-sanitize-recover=signed-integer-overflow" } */
       3  /* { dg-shouldfail "ubsan" } */
       4  
       5  #define INT_MAX __INT_MAX__
       6  #define INT_MIN (-__INT_MAX__ - 1)
       7  
       8  int
       9  main (void)
      10  {
      11    volatile int j = INT_MAX;
      12    volatile int i = 1;
      13    volatile int k = j + i;
      14    return 0;
      15  }
      16  
      17  /* { dg-output "signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'" } */