1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tm/pr45940.C b/gcc/testsuite/g++.dg/tm/pr45940.C
new file mode 100644
index 0000000..3e9a2c3f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tm/pr45940.C
@@ -0,0 +1,30 @@
+// { dg-do compile }
+// { dg-options "-fgnu-tm -O0" }
+
+__attribute__((transaction_pure))
+inline int atomic_exchange_and_add(int dv )
+{
+    int r;
+    __asm__ ("" : "=r"(r));
+    return r;
+}
+
+class sp_counted_base
+{
+public:
+    __attribute__((transaction_safe))
+    void release()
+    {
+	if( atomic_exchange_and_add(-1 ) == 1 )
+	{
+	}
+    }
+};
+
+sp_counted_base *base;
+
+void here(){
+  __transaction_atomic {
+    base->release();
+  }
+}