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  extern void foo (int);
       7  
       8  int f()
       9  {
      10    int *p;
      11  
      12    p = malloc (sizeof (*p) * 100);
      13    foo(p[5]);
      14  
      15    __transaction_atomic {
      16      /* p[5] is thread private, however the SSA_NAME that holds the
      17         address dominates the entire transaction (transaction
      18         invariant) so we can use a save/restore pair.  */
      19      p[5] = 123;
      20  
      21      if (something())
      22        __transaction_cancel;
      23    }
      24    return p[5];
      25  }
      26  
      27  /* { dg-final { scan-tree-dump-times "ITM_LU" 0 "tmmark" } } */
      28  /* { dg-final { scan-tree-dump-times "ITM_WU" 0 "tmmark" } } */
      29  /* { dg-final { scan-tree-dump-times "int tm_save" 1 "tmmark" } } */