1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -fsanitize-trap=undefined" } */
       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  }