/* { dg-do compile } */
/* { dg-options "-mcpu=cpu32" } */

/* Check that interrupt_thread is rejected on CPUs other than
   fido.  */

extern void foo (void) __attribute__((interrupt_thread)); /* { dg-error "interrupt_thread is available only on fido" } */