1  #include <stdio.h>
       2  #include <stdlib.h>
       3  
       4  static void bmi_test (void);
       5  
       6  static void
       7  __attribute__ ((noinline))
       8  do_test (void)
       9  {
      10    bmi_test ();
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    do_test ();
      17  #ifdef DEBUG
      18    printf ("PASSED\n");
      19  #endif
      20    return 0;
      21  }