1  /* { dg-do compile }  */
       2  /* { dg-options "-mh" }  */
       3  /* { dg-final { scan-assembler-times "@@" 1 } }  */
       4  
       5  
       6  void foo (void) __attribute__ ((function_vector));
       7  __attribute__((noinline)) void foo (void)
       8  {
       9  }
      10  
      11  void bar (void)
      12  {
      13      foo();
      14  }