text: /* { dg-do compile } */
  /* { dg-options "-fgnu-tm -O -fdump-tree-tmmark" } */
  
  extern int something(void) __attribute__((transaction_safe));
  extern void *malloc (__SIZE_TYPE__) __attribute__((malloc,transaction_safe));
  extern void foo (int);
  
  int f()
  {
    int *p;
  
    p = malloc (sizeof (*p) * 100);
    foo(p[5]);
  
    __transaction_atomic {
      /* p[5] is thread private, however the SSA_NAME that holds the
         address dominates the entire transaction (transaction
         invariant) so we can use a save/restore pair.  */
      p[5] = 123;
  
      if (something())
        __transaction_cancel;
    }
    return p[5];
  }
  
  /* { dg-final { scan-tree-dump-times "ITM_LU" 0 "tmmark" } } */
  /* { dg-final { scan-tree-dump-times "ITM_WU" 0 "tmmark" } } */
  /* { dg-final { scan-tree-dump-times "int tm_save" 1 "tmmark" } } */
  