1 /* { dg-do compile } */ 2 /* { dg-options "-O3 -march=zEC12 -mzarch" } */ 3 4 /* A bug in the builtin definition made__builtin_tbeginc to have an 5 integer return argument. */ 6 void must_not_compile1(void)7must_not_compile1 (void) 8 { 9 int rc = __builtin_tbeginc (); /* { dg-error "void value not ignored as it ought to be" } */ 10 } 11