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)7 must_not_compile1 (void)
8 {
9   int rc = __builtin_tbeginc (); /* { dg-error "void value not ignored as it ought to be" } */
10 }
11