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))
hp2(void)10 static inline void hp2(void)
11 {
12   printf("hello, world!\n");
13 }
14 
hp1(void)15 void hp1(void)
16 {
17   hp2();
18 }
19