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