1/* PR 3997 */
2/* { dg-do run } */
3
4extern void abort (void);
5extern void exit (int);
6
7void foo(void)
8{
9  exit(0);
10}
11
12static void bar(void) __attribute__((alias("foo")));
13
14int main()
15{
16  bar();
17  abort ();
18}
19