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;
main()7 int main()
8 {
9   i = -(s + (int)(~(unsigned)(0 / y))) + 0x7fffffff;
10   return 0;
11 }
12