Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
c-c++-common
/
ubsan
/
vla-4.c
blob: c9060177606e949f9e486a5bd6927e0f377fbeb9 [
file
] [
log
] [
blame
]
/* { dg-do run } */
/* { dg-options "-fsanitize=vla-bound -fno-sanitize-recover=vla-bound" } */
int
main
(
void
)
{
int
x
=
1
;
/* Check that the size of an array is evaluated only once. */
int
a
[++
x
];
if
(
x
!=
2
)
__builtin_abort
();
return
0
;
}