/* { dg-do run } */ | |
int __attribute__((returns_twice,noipa)) x() { return 0; } | |
void __attribute__((noipa)) ar() {} | |
void __attribute__((noipa)) as() { __builtin_abort (); } | |
int a1, a2, a3; | |
void __attribute__((noipa)) v(int init) | |
{ | |
if (!init) { | |
as(); | |
if (a1) | |
goto aq; | |
x (); | |
} | |
ar(); | |
aq: | |
if (!init) | |
as(); | |
} | |
int main() | |
{ | |
v(1); | |
return 0; | |
} |