1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tm/dynamic2.C b/gcc/testsuite/g++.dg/tm/dynamic2.C
new file mode 100644
index 00000000000..3003b62ca0a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tm/dynamic2.C
@@ -0,0 +1,17 @@
+// { dg-options "-fgnu-tm -std=c++14 -O2" }
+
+void unsafe();
+struct A {
+  virtual void f() transaction_safe_dynamic;
+};
+struct B:A {
+  void f() { unsafe(); }
+};
+
+void f() transaction_safe {
+  B b;
+  A& ar = b;
+  // This is undefined behavior, we want to give an error with
+  // devirtualization.
+  ar.f();			// { dg-error "unsafe" }
+}