view gcc/testsuite/g++.dg/ubsan/div-by-zero-2.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +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" }
}