/* Functional tests for the function hotpatching feature. */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O3 -mzarch -mhotpatch=1000000" } */ | |
#include <stdio.h> | |
void hp1(void) | |
{ | |
printf("hello, world!\n"); | |
} | |
__attribute__ ((hotpatch(1000000))) | |
void hp2(void) | |
{ | |
printf("hello, world!\n"); | |
} | |
__attribute__ ((hotpatch(1000001))) | |
void hp3(void) | |
{ /* { dg-error "requested 'hotpatch' attribute is not a non-negative integer constant or too large .max. 1000000." } */ | |
printf("hello, world!\n"); | |
} | |
int main (void) | |
{ | |
return 0; | |
} |