gcc/testsuite/gcc.target/i386/interrupt-bnd-err-1.c

   1 /* { dg-do compile { target { ! x32 } } } */
   2 /* { dg-options "-O2 -mgeneral-regs-only -mno-cld -mno-iamcu -mmpx" } */
   3
   4 typedef unsigned int uword_t __attribute__ ((mode (__word__)));
   5
   6 void
   7 __attribute__((interrupt))
   8 fn1 (void *frame)
   9 { /* { dg-message "MPX instructions aren't allowed in interrupt service routine" } */
  10 }
  11
  12 void
  13 __attribute__((interrupt))
  14 fn2 (void *frame, uword_t error)
  15 { /* { dg-message "MPX instructions aren't allowed in exception service routine" } */
  16 }