1  /* Functional tests for the function hotpatching feature.  */
       2  
       3  /* { dg-do compile } */
       4  /* { dg-options "-mzarch" } */
       5  
       6  #include <stdio.h>
       7  
       8  __attribute__ ((hotpatch(1,2)))
       9  __attribute__ ((always_inline))
      10  static inline void hp2(void)
      11  {
      12    printf("hello, world!\n");
      13  }
      14  
      15  void hp1(void)
      16  {
      17    hp2();
      18  }