gcc/testsuite/gcc.target/s390/hotpatch-compile-12.c

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

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

int a;

__attribute__((hotpatch(0,a)))
int main (void)
{ /* { dg-error "attribute is not a comma separated pair of non-negative integer constants or too large" } */
  return 0;
}