1 /* { dg-do compile } */
2 /* { dg-options "-O2 -mgeneral-regs-only -mno-cld" } */
4 typedef unsigned int uword_t
__attribute__ ((mode (__word__
)));
8 __attribute__((interrupt
))
10 fn1 (void *p
, short error_code
)
11 { /* { dg-error "interrupt service routine should have unsigned \(long long |long |\)int as the second argument" } */
14 __attribute__((interrupt
))
17 { /* { dg-error "interrupt service routine can only have a pointer argument and an optional integer argument" } */
20 __attribute__((interrupt
))
22 fn3 (uword_t error_code
)
23 { /* { dg-error "interrupt service routine should have a pointer as the first argument" } */
27 __attribute__((interrupt
))
29 fn4 (uword_t error_code
, void *frame
)
30 { /* { dg-error "interrupt service routine should have .* the .* argument" } */
34 extern int fn5 (void *) __attribute__ ((interrupt
)); /* { dg-error "interrupt service routine can't have non-void return value" } */