1 /* { dg-do compile } */
2 /* { dg-prune-output "compilation terminated" } */
3 
4 #include <arm_sve.h>
5 
6 #pragma GCC target "+nosve"
7 
8 svbool_t return_bool ();
9 
10 void
f(void)11 f (void)
12 {
13   return_bool (); /* { dg-error {'return_bool' requires the SVE ISA extension} } */
14 }
15