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