gcc/testsuite/g++.dg/ubsan/pr80403.C

   1 // PR sanitizer/80403
   2 // { dg-do compile }
   3 // { dg-options "-fsanitize=undefined" }
   4
   5 unsigned
   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 }