1  /* This is a copy of props-4.c but with variations in the attribute
       2     syntax.  */
       3  /* { dg-do compile } */
       4  /* { dg-options "-fgnu-tm -fdump-tree-tmedge -fdump-tree-tmmark" } */
       5  
       6  int a, b;
       7  
       8  void __attribute((transaction_may_cancel_outer,noinline)) cancel1()
       9  {
      10    __transaction_cancel [[,,,outer,,]];
      11  }
      12  
      13  void
      14  foo(void)
      15  {
      16    __transaction_atomic [[__gnu__::__outer__]] {
      17      a = 2;
      18      __transaction_atomic {
      19        b = 2;
      20        cancel1();
      21      }
      22    }
      23  }
      24  
      25  /* { dg-final { scan-tree-dump-times " instrumentedCode" 1 "tmedge" } } */
      26  /* { dg-final { scan-tree-dump-times "hasNoAbort" 0 "tmedge" } } */