| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fprofile-generate" } */ | |
| /* { dg-require-profiling "-fprofile-generate" } */ | |
| #include <setjmp.h> | |
| int cond1, cond2; | |
| int goo() __attribute__((noinline)); | |
| int goo() { | |
| if (cond1) | |
| return 1; | |
| else | |
| return 2; | |
| } | |
| jmp_buf env; | |
| int foo() { | |
| int a; | |
| setjmp(env); | |
| if (cond2) | |
| a = goo(); | |
| else | |
| a = 3; | |
| return a; | |
| } |