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()7int 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