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