1 // The inverse of a transaction-safety conversion cannot be performed with 2 // static_cast. 3 // { dg-options "-fgnu-tm" } 4 5 typedef void (*TS)() transaction_safe; f()6 void f() 7 { 8 static_cast<TS>(f); // { dg-error "static_cast" } 9 } 10