* combine.c (distribute_notes): Handle REG_ALWAYS_RETURN.

	* gcc.dg/20030702-1.c: New test.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 019fca2..a2bca73 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2003-08-25  Ulrich Weigand  <uweigand@de.ibm.com>
 
+       * combine.c (distribute_notes): Handle REG_ALWAYS_RETURN.
+
+2003-08-25  Ulrich Weigand  <uweigand@de.ibm.com>
+
        * combine.c (combine_simplify_rtx): Fix RTL sharing bug.
 
 2003-08-25  Gabriel Dos Reis  <gdr@integrable-solutions.net>

diff --git a/gcc/combine.c b/gcc/combine.c
index 67e4b01..afa25b0 100644 (file)
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -12498,6 +12498,7 @@ distribute_notes (rtx notes, rtx from_insn, rtx i3, rtx i2)
            abort ();
          break;
 
+       case REG_ALWAYS_RETURN:
        case REG_NORETURN:
        case REG_SETJMP:
          /* These notes must remain with the call.  It should not be

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1a6f848..e98c748 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2003-08-25  Ulrich Weigand  <uweigand@de.ibm.com>
+
+       * gcc.dg/20030702-1.c: New test.
+
 2003-08-25  Mark Mitchell  <mark@codesourcery.com>
 
        PR c++/8795

diff --git a/gcc/testsuite/gcc.dg/20030702-1.c b/gcc/testsuite/gcc.dg/20030702-1.c
new file mode 100644 (file)
index 0000000..70dad2e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030702-1.c
@@ -0,0 +1,10 @@
+/* This tests whether REG_ALWAYS_RETURN notes are handled
+   correctly in combine.  */
+/* { dg-do compile } */
+/* { dg-options "-O2 -fpic -fprofile-arcs" } */
+
+void test (void)
+{
+  fork ();
+}
+