1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr37393.C b/gcc/testsuite/g++.dg/tree-ssa/pr37393.C
new file mode 100644
index 000000000..2f9281c96
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr37393.C
@@ -0,0 +1,27 @@
+// PR middle-end/37393
+// { dg-do compile }
+// { dg-options "-O2" }
+
+struct A
+{
+  ~A ();
+  bool foo () const;
+};
+
+extern "C"
+{
+  extern void bar (const char *, ...) __attribute__ ((noreturn));
+  extern inline __attribute__ ((always_inline, gnu_inline, artificial)) void
+  baz (const char *fmt, ...)
+  {
+    bar (fmt, __builtin_va_arg_pack ());
+  }
+};
+
+void
+test ()
+{
+  A a;
+  if (a.foo ())
+    baz ("foo");
+}