| /* 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; | |
| } |