1 // PR sanitizer/80403
2 // { dg-do compile }
3 // { dg-options "-fsanitize=undefined" }
4 
5 unsigned
foo()6 foo ()
7 {
8   unsigned a = (unsigned) (!(6044238 >> 0) >= (0 < 0)) % 0;	// { dg-warning "division by zero" }
9   unsigned b = (unsigned) (!(6044238 >> 0) >= (0 < 0)) / 0;	// { dg-warning "division by zero" }
10   return a + b;
11 }
12