1 files changed, 48 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-3.c b/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-3.c
new file mode 100644
index 000000000..8a883db5e
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/c-c++-common/tm/safe-3.c
@@ -0,0 +1,48 @@
+/* { dg-do compile } */
+/* { dg-options "-fgnu-tm" } */
+
+void f_extern (void);
+void f_first (void);
+void f_later (void);
+
+extern int x;
+
+void f_first (void) { x++; }
+
+void __attribute__((transaction_safe))
+test_safe (void)
+{
+  f_extern ();		/* { dg-error "unsafe function call" } */
+  f_first ();
+  f_later ();
+}
+
+void __attribute__((transaction_may_cancel_outer))
+test_mco (void)
+{
+  f_extern ();		/* { dg-error "unsafe function call" } */
+  f_first ();
+  f_later ();
+}
+
+void
+test_atomic (void)
+{
+  __transaction_atomic {
+    f_extern ();	/* { dg-error "unsafe function call" } */
+    f_first ();
+    f_later ();
+  }
+  __transaction_relaxed {
+    f_extern ();
+    f_first ();
+    f_later ();
+  }
+  __transaction_atomic [[outer]] {
+    f_extern ();	/* { dg-error "unsafe function call" } */
+    f_first ();
+    f_later ();
+  }
+}
+
+void f_later () { f_first(); test_safe(); }