Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
c-c++-common
/
ubsan
/
pr80875.c
blob: e679452fd2923175bfeb182a9fc5fa3d6954cd66 [
file
] [
log
] [
blame
]
/* PR sanitizer/80875 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=undefined" } */
int
foo
(
void
)
{
return
~
__INT_MAX__
*
(
0
/
0
);
/* { dg-warning "division by zero" } */
}