1 /* { dg-do compile } */
2 
3 void
4 gm (int *);
5 
6 __attribute__ ((returns_twice)) void
jg(void)7 jg (void)
8 {
9 }
10 
11 void
eb(void)12 eb (void)
13 {
14   int r6 = 0;
15 
16   if (r6 != 0)
17     gm (&r6);
18 }
19 
20 void
gm(int * r6)21 gm (int *r6)
22 {
23   jg ();
24 
25   for (;;)
26     {
27       eb ();
28       *r6 = 0;
29     }
30 }
31