1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -march=zEC12 -mzarch" } */
       3  
       4  void
       5  must_not_compile1 (void)
       6  {
       7    __builtin_tabort (0); /* { dg-error "invalid transaction abort code:" } */
       8  }
       9  
      10  void
      11  must_not_compile2 (void)
      12  {
      13    __builtin_tabort (255); /* { dg-error "invalid transaction abort code:" } */
      14  }