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