1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_v8_1m_mve_ok } */
       3  /* { dg-add-options arm_v8_1m_mve } */
       4  
       5  /* It doesn't really matter if this produces errors about redefinitions,
       6     but it mustn't trigger an ICE.  */
       7  #pragma GCC arm "arm_mve_types.h"
       8  #pragma GCC arm "arm_mve_types.h" /* { dg-error "duplicate definition of 'arm_mve_types.h'" } */