view gcc/testsuite/g++.dg/ubsan/div-by-zero-2.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
line wrap: on
line source

// PR sanitizer/80348
// { dg-do compile }
// { dg-options "-fsanitize=integer-divide-by-zero" }

void
foo ()
{
  if (0)
    unsigned ((0 != 60806) > (0 != 0)) / 0; // { dg-warning "division by zero" }
}