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