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