blob: 7ca0f8bc0a3a9f79068d19cb67c9dafa6cf71bd8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */
/* { dg-require-effective-target indirect_jumps } */
#include <setjmp.h>
jmp_buf buf;
void foo (int);
void bar (int) __attribute__((leaf));
void enumerate_locals (int indent)
{
foo (0);
while (indent--)
{
int local_indent = 8 + (8 * indent);
if (local_indent != 8)
{
setjmp (buf);
bar (local_indent); /* { dg-bogus "may be used uninitialized" "" } */
}
}
foo (1);
}
|