1 /* PR middle-end/54838 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fno-forward-propagate -ftracer" } */
4 
5 void bar (void);
6 
7 void
foo(void * b,int * c)8 foo (void *b, int *c)
9 {
10 again:
11   switch (*c)
12     {
13     case 1:
14       if (!b)
15 	{
16 	  bar ();
17 	  return;
18 	}
19       goto again;
20     case 3:
21       if (!b)
22 	goto again;
23     }
24 }
25