1 /* Verify proper errors are generated for conflicted interrupt type. */
2 /* { dg-do compile } */
3 /* { dg-options "-O" } */
4 void __attribute__ ((interrupt ("user")))
7 void __attribute__ ((interrupt ("machine")))
9 { /* { dg-error "function cannot have different intterupt type." } */