1 /* { dg-do compile } */
2 /* { dg-options "-fgnu-tm -O -fdump-tree-tmmark" } */
3 
4 extern int something(void) __attribute__((transaction_safe));
5 extern void *malloc (__SIZE_TYPE__) __attribute__((malloc,transaction_safe));
6 
f()7 int f()
8 {
9   int *p;
10 
11   p = malloc (sizeof (*p) * 100);
12   foo(p[5]);
13 
14   __transaction_atomic {
15     /* p[5] is thread private, however the SSA_NAME that holds the
16        address dominates the entire transaction (transaction
17        invariant) so we can use a save/restore pair.  */
18     p[5] = 123;
19 
20     if (something())
21       __transaction_cancel;
22   }
23   return p[5];
24 }
25 
26 /* { dg-final { scan-tree-dump-times "ITM_LU" 0 "tmmark" } } */
27 /* { dg-final { scan-tree-dump-times "ITM_WU" 0 "tmmark" } } */
28 /* { dg-final { scan-tree-dump-times "int tm_save" 1 "tmmark" } } */
29 /* { dg-final { cleanup-tree-dump "tmmark" } } */
30