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