blob: 1b81b3100577ea027371d7c363f8685af2416667 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Transaction-unsafe testcase from TM TS.
// { dg-options -fgnu-tm }
template<class T>
void f(T) transaction_safe;
template<>
void f(bool); // not transaction-safe
int g() transaction_safe
{
f(42); // OK
f(true); // { dg-error "unsafe" }
}
|