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