blob: dd45bafc784299414a072ec032ea37f5ab28e993 (
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
26
27
28
29
30
31
32
33
34
|
/* { dg-options "-O2" } */
__attribute__((noreturn)) void (*fn) (void);
volatile int v;
__attribute__((noreturn)) void
fn0 (void)
{
__builtin_exit (0);
}
__attribute__((noreturn)) void
fn1 (void)
{
__builtin_exit (1);
}
__attribute__((noinline, noclone)) void
setfn (__attribute__((noreturn)) void (*x) (void))
{
fn = x;
}
int
main ()
{
int i;
if (v < 1)
setfn (fn0);
else
setfn (fn1);
fn ();
}
|