1  /* { dg-do compile } */
       2  /* { dg-options "-fgnu-tm -fdump-tree-ealias -O" } */
       3  
       4  typedef __UINTPTR_TYPE__ ptrcast;
       5  
       6  #if (__SIZEOF_POINTER__ == 4)
       7  #define TM_LOAD  __builtin__ITM_RU4
       8  #define TM_STORE __builtin__ITM_WU4
       9  #elif (__SIZEOF_POINTER__ == 8)
      10  #define TM_LOAD __builtin__ITM_RU8
      11  #define TM_STORE __builtin__ITM_WU8
      12  #else
      13  #error Add target support here
      14  #endif
      15  
      16  struct mystruct_type {
      17    ptrcast *ptr;
      18  } *mystruct;
      19  
      20  ptrcast *someptr, **pp;
      21  ptrcast ui;
      22  
      23  void f(void)
      24  {
      25    __transaction_atomic {
      26      ui = TM_LOAD  (&mystruct);
      27      mystruct = (struct mystruct_type *) ui;
      28      ui = TM_LOAD  (&someptr);
      29      someptr = (ptrcast *) ui;
      30      ui = (ptrcast) someptr;
      31      pp = &mystruct->ptr;
      32      TM_STORE (pp, ui);
      33    }
      34  }
      35  
      36  /* { dg-final { scan-tree-dump-times "mystruct = \{ .*ESCAPED" 1 "ealias" } } */
      37  /* { dg-final { scan-tree-dump-times "someptr = .*same as mystruct" 1 "ealias" } } */
      38  /* { dg-final { scan-tree-dump-times "ui\..* = .*same as mystruct" 1 "ealias" } } */
      39  /* { dg-final { scan-tree-dump-times "pp\..* = .*same as mystruct" 1 "ealias" } } */