1 files changed, 43 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-2.c b/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-2.c
new file mode 100644
index 000000000..a6729ba42
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-2.c
@@ -0,0 +1,43 @@
+/* { dg-do compile } */
+/* { dg-options "-fgnu-tm" } */
+
+void mco(void) __attribute__((transaction_may_cancel_outer));
+
+void
+f(void)
+{
+  mco();			/* { dg-error "" } */
+  __transaction_atomic {
+    mco();			/* { dg-error "" } */
+  }
+  __transaction_relaxed {
+    mco();			/* { dg-error "" } */
+  }
+  __transaction_atomic [[outer]] {
+    mco();
+  }
+  __transaction_atomic [[outer]] {
+    __transaction_atomic {
+      __transaction_atomic {
+	__transaction_atomic {
+	  mco();
+	}
+      }
+    }
+  }
+}
+
+void __attribute__((transaction_may_cancel_outer))
+g(void)
+{
+  mco();
+  __transaction_atomic {
+    __transaction_atomic {
+      __transaction_atomic {
+	__transaction_atomic {
+	  mco();
+	}
+      }
+    }
+  }
+}