1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=signed-integer-overflow -fsanitize-trap=signed-integer-overflow -Wno-overflow" } */
       3  
       4  #define INT_MIN (-__INT_MAX__ - 1)
       5  
       6  int
       7  main (void)
       8  {
       9    /* This should not fail.  */
      10    return (unsigned int) INT_MIN / -1;
      11  }