1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=integer-divide-by-zero -fno-sanitize-recover=undefined,float-divide-by-zero -Wno-overflow" } */
       3  
       4  #include <limits.h>
       5  
       6  int
       7  main (void)
       8  {
       9    volatile int min = INT_MIN;
      10    volatile int zero = 0;
      11  
      12    INT_MIN / -1;
      13    min / -1;
      14    min / (10 * zero - (2 - 1));
      15  
      16    return 0;
      17  }