Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
c-c++-common
/
ubsan
/
pr63879-2.c
blob: 34eb8e79d67ab24558fee978737cebd0ae7cb6e0 [
file
] [
log
] [
blame
]
/* PR sanitizer/63879 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=undefined" } */
int
a
;
void
fn1
()
{
int
b
=
2
;
for
(;
a
;)
while
(
b
>=
0
)
b
--;
}