1 /* { dg-do compile } */
2 /* { dg-options "-fgnu-tm -O1" } */
3 static int global = 0;
4 
5 __attribute__((transaction_pure))
purefunc()6 static inline void purefunc()
7 {
8   global++;
9 }
10 
11 __attribute__((transaction_safe))
12 void f();
13 
push()14 void push()
15 {
16   __transaction_atomic {
17         f();
18     purefunc();
19   }
20 }
21 
22 /* { dg-final { scan-assembler-not "_ITM_RfWU4" } } */
23