Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
g++.dg
/
ubsan
/
div-by-zero-2.C
blob: d500ae62b4b6d771159cb2e26902f148b78b2642 [
file
] [
log
] [
blame
]
// 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" }
}