gcc/testsuite/g++.dg/ubsan/div-by-zero-2.C

   1 // PR sanitizer/80348
   2 // { dg-do compile }
   3 // { dg-options "-fsanitize=integer-divide-by-zero" }
   4
   5 void
   6 foo ()
   7 {
   8   if (0)
   9     unsigned ((0 != 60806) > (0 != 0)) / 0; // { dg-warning "division by zero" }
  10 }