1 /* { dg-do run } */
2 /* { dg-additional-sources "pr79334-1.c" } */
3
4 extern int d[][8];
5
6 static void __attribute__((noinline))
7 func_that_exits (int flag)
8 {
9 if (!flag)
10 __builtin_exit (0);
11 }
12
13 int main ()
14 {
15 int e = 0;
16 while (1)
17 {
18 func_that_exits (e);
19 /* We do not know whether d[1024][0] will trap. */
20 e = d[1024][0];
21 }
22 return 0;
23 }