/* This is a copy of props-4.c but with variations in the attribute
   syntax.  */
/* { dg-do compile } */
/* { dg-options "-fgnu-tm -fdump-tree-tmedge -fdump-tree-tmmark" } */

int a, b;

void __attribute((transaction_may_cancel_outer,noinline)) cancel1()
{
  __transaction_cancel [[,,,outer,,]];
}

void
foo(void)
{
  __transaction_atomic [[__gnu__::__outer__]] {
    a = 2;
    __transaction_atomic {
      b = 2;
      cancel1();
    }
  }
}

/* { dg-final { scan-tree-dump-times " instrumentedCode" 1 "tmedge" } } */
/* { dg-final { scan-tree-dump-times "hasNoAbort" 0 "tmedge" } } */