]>
Commit | Line | Data |
---|---|---|
e03fb6ec ML |
1 | /* PR target/78582. */ |
2 | /* { dg-options "-fprofile-generate" } */ | |
604f37cd | 3 | /* { dg-do compile } */ |
4a6ad083 | 4 | /* { dg-require-effective-target nonlocal_goto } */ |
e03fb6ec ML |
5 | |
6 | #include <setjmp.h> | |
7 | ||
8 | void reader_loop () {} | |
9 | ||
10 | int | |
11 | main (int argc, char argv, char env) | |
12 | { | |
13 | int a; | |
d95fe801 | 14 | setjmp (0); |
e03fb6ec ML |
15 | argc = a = argc; |
16 | reader_loop (); | |
17 | ||
18 | return 0; | |
19 | } |