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

   1 /* Functional tests for the function hotpatching feature.  */
   2
   3 /* { dg-do compile } */
   4 /* { dg-options "-O3 -mzarch -mhotpatch=1000000" } */
   5
   6 #include <stdio.h>
   7
   8 void hp1(void)
   9 {
  10   printf("hello, world!\n");
  11 }
  12
  13 __attribute__ ((hotpatch(1000000)))
  14 void hp2(void)
  15 {
  16   printf("hello, world!\n");
  17 }
  18
  19 __attribute__ ((hotpatch(1000001)))
  20 void hp3(void)
  21 { /* { dg-error "requested 'hotpatch' attribute is not a non-negative integer constant or too large .max. 1000000." } */
  22   printf("hello, world!\n");
  23 }
  24
  25 int main (void)
  26 {
  27   return 0;
  28 }