1 /* PR target/85984 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2" } */
4 
5 int foo (void);
6 
7 void __attribute__((naked))
bar(void)8 bar (void)
9 {
10   if (!foo ())
11     __builtin_abort ();
12 }
13 
14 void
baz(void)15 baz (void)
16 {
17   bar ();
18 }
19