1 /* { dg-do compile } */
2 /* { dg-require-effective-target arm32 } */
3 
4 void
trap()5 trap ()
6 {
7   __builtin_trap ();
8 }
9 
10 /* { dg-final { scan-assembler "0xe7f000f0" { target { arm_nothumb } } } } */
11