From: Jason Merrill <jason@gcc.gnu.org>
Date: Fri, 21 Mar 2003 07:08:02 +0000 (-0500)
Subject: re PR c++/7050 (g++ segfaults on: (i ? get_string() : throw))
X-Git-Tag: releases/gcc-3.4.0~7772
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=742f0efebe4b177253b9df555af6a59ea0c17eb8;p=thirdparty%2Fgcc.git

re PR c++/7050 (g++ segfaults on: (i ? get_string() : throw))

        PR c++/7050
        * expr.c (store_expr): Don't attempt to store void-typed trees,
        just evaluate them for side effects.

From-SVN: r64646
---

diff --git a/gcc/testsuite/g++.dg/eh/cond1.C b/gcc/testsuite/g++.dg/eh/cond1.C
new file mode 100644
index 000000000000..4f494267e4b7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/cond1.C
@@ -0,0 +1,64 @@
+// PR c++/7050
+// { dg-do run }
+
+extern "C" void abort(void);
+
+#define CI(stmt) try { stmt; abort(); } catch (int) { }
+
+struct has_destructor
+{
+    ~has_destructor() { }
+};
+
+struct no_destructor
+{
+};
+
+int PI(int& i) { return i++; }
+
+int main(int argc, char *argv[])
+{
+    (argc+1 ? has_destructor() : throw 0);
+    CI((argc+1 ? throw 0 : has_destructor()));
+    CI((0 ? has_destructor() : throw 0));
+    CI((1 ? throw 0 : has_destructor()));
+    (0 ? throw 0 : has_destructor());
+    (1 ? has_destructor() : throw 0);
+
+    (argc+1 ? no_destructor() : throw 0);
+    CI((argc+1 ? throw 0 : no_destructor()));
+    CI((0 ? no_destructor() : throw 0));
+    CI((1 ? throw 0 : no_destructor()));
+    (0 ? throw 0 : no_destructor());
+    (1 ? no_destructor() : throw 0);
+
+    int i = 1;
+    CI(throw PI(i));
+    if (i != 2) abort();
+
+    (1 ? 0 : throw PI(i));
+    if (i != 2) abort();
+
+    CI(0 ? 0 : throw PI(i));
+    if (i != 3) abort();
+
+    CI(0 ? has_destructor() : throw PI(i));
+    if (i != 4) abort();
+    (argc+1 ? has_destructor() : throw PI(i));
+    if (i != 4) abort();
+
+    i = 1;
+    CI(throw i++);
+    if (i != 2) abort();
+
+    (1 ? 0 : throw i++);
+    if (i != 2) abort();
+
+    CI(0 ? 0 : throw i++);
+    if (i != 3) abort();
+
+    CI(0 ? has_destructor() : throw i++);
+    if (i != 4) abort();
+    (argc+1 ? has_destructor() : throw i++);
+    if (i != 4) abort();
+}