1  extern int foo2 (int *b);
       2  
       3  #pragma GCC target "cpu=power10"
       4  __attribute__ ((always_inline))
       5  int
       6  main (int *a)
       7  {
       8    *a = foo2 (a);
       9    return 0;
      10  }
      11