/* Functional tests for the function hotpatching feature.  */

/* { dg-do compile } */
/* { dg-options "-O3 -mzarch" } */

#include <stdio.h>

__attribute__ ((hotpatch(1,2)))
static void hp1(void)
{
  printf("hello, world!\n");
}

__attribute__ ((hotpatch(1,2)))
static inline void hp2(void)
{
  printf("hello, world!\n");
}

__attribute__ ((hotpatch(0,0)))
__attribute__ ((always_inline))
static inline void hp3(void)
{
  printf("hello, world!\n");
}

__attribute__ ((hotpatch(1,2)))
__attribute__ ((always_inline))
static inline void hp4(void)
{
  printf("hello, world!\n");
}

void main(void)
{
  hp1();
  hp2();
  hp3();
  hp4();
}