1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
       3  
       4  short s = 2;
       5  short y = 1;
       6  int i;
       7  int main()
       8  {
       9    i = -(s + (int)(~(unsigned)(0 / y))) + 0x7fffffff;
      10    return 0;
      11  }