1 /* { dg-do run } */
2 /* { dg-options "-fipa-pta" } */
3 /* { dg-additional-sources "pr47426-2.c" } */
4 
5 void bar (int *i);
6 
7 static void
foo(int * i)8 foo (int *i)
9 {
10   if (*i)
11     bar (i);
12   if (*i)
13     __builtin_abort();
14 }
15 
16 typedef void tfoo (int *);
17 
18 tfoo *
getfoo(void)19 getfoo (void)
20 {
21   return &foo;
22 }
23 
24