OSDN Git Service

2010-01-26 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 26 Jan 2010 15:09:43 +0000 (15:09 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 26 Jan 2010 15:09:43 +0000 (15:09 +0000)
PR middle-end/42806
* tree-eh.c (unsplit_eh): Skip debug insns.

* g++.dg/other/pr42806.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156249 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/other/pr42806.C [new file with mode: 0644]
gcc/tree-eh.c

index da237e7..5d34ebb 100644 (file)
@@ -1,5 +1,10 @@
 2010-01-26  Richard Guenther  <rguenther@suse.de>
 
+       PR middle-end/42806
+       * tree-eh.c (unsplit_eh): Skip debug insns.
+
+2010-01-26  Richard Guenther  <rguenther@suse.de>
+
        PR tree-optimization/42250
        * ipa-type-escape.c (type_escape_execute): Do not analyze clones.
 
index 3cdaee3..0238f4c 100644 (file)
@@ -1,5 +1,10 @@
 2010-01-26  Richard Guenther  <rguenther@suse.de>
 
+       PR middle-end/42806
+       * g++.dg/other/pr42806.C: New testcase.
+
+2010-01-26  Richard Guenther  <rguenther@suse.de>
+
        PR tree-optimization/42250
        * gcc.dg/pr42250.c: New testcase.
 
diff --git a/gcc/testsuite/g++.dg/other/pr42806.C b/gcc/testsuite/g++.dg/other/pr42806.C
new file mode 100644 (file)
index 0000000..9823238
--- /dev/null
@@ -0,0 +1,22 @@
+// { dg-do compile }
+// { dg-options "-O -fcompare-debug" }
+
+struct S1 {
+    ~S1() { }
+};
+
+struct S2 {
+    S1 s1;
+    void m();
+    ~S2() { m(); }
+};
+
+struct S3 {
+    S3(int, S2);
+};
+
+void foo()
+{
+  S3(0, S2());
+}
+
index 1a9e7b5..2cb334f 100644 (file)
@@ -3350,8 +3350,11 @@ unsplit_eh (eh_landing_pad lp)
   if ((e_in->flags & EDGE_EH) == 0 || (e_out->flags & EDGE_EH) != 0)
     return false;
 
-  /* The block must be empty except for the labels.  */
-  if (!gsi_end_p (gsi_after_labels (bb)))
+  /* The block must be empty except for the labels and debug insns.  */
+  gsi = gsi_after_labels (bb);
+  if (!gsi_end_p (gsi) && is_gimple_debug (gsi_stmt (gsi)))
+    gsi_next_nondebug (&gsi);
+  if (!gsi_end_p (gsi))
     return false;
 
   /* The destination block must not already have a landing pad