1 /* { dg-do compile } */
2 
3 extern int baz (void) __attribute__ ((returns_twice));
4 int __attribute__ ((__leaf__))
foo(void)5 foo (void)
6 {
7   return __builtin_printf ("$");
8 }
9 
10 void
bar()11 bar ()
12 {
13   foo ();
14   baz ();
15 }
16