PR tree-optimize/48929

	* gcc.c-torture/compile/pr48929.c: New testcase.
	* ipa-inline-analysis.c (remap_edge_predicates): Fix handling
	of empty predicate.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c7f031f..3306765 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-06-04  Jan Hubicka  <jh@suse.cz>
+
+       PR tree-optimize/48929
+       * ipa-inline-analysis.c (remap_edge_predicates): Fix handling
+       of empty predicate.
+
 2011-06-04  Alexandre Oliva  <aoliva@redhat.com>
 
        PR debug/48333

diff --git a/gcc/ipa-inline-analysis.c b/gcc/ipa-inline-analysis.c
index 4a65dd5..45bfeb6 100644 (file)
--- a/gcc/ipa-inline-analysis.c
+++ b/gcc/ipa-inline-analysis.c
@@ -1949,6 +1949,8 @@ remap_edge_predicates (struct cgraph_node *node,
       if (!e->inline_failed)
        remap_edge_predicates (e->callee, info, callee_info, operand_map,
                               possible_truths, toplev_predicate);
+      else
+       edge_set_predicate (e, toplev_predicate);
     }
   for (e = node->indirect_calls; e; e = e->next_callee)
     {
@@ -1969,6 +1971,8 @@ remap_edge_predicates (struct cgraph_node *node,
              e->frequency = 0;
            }
        }
+      else
+       edge_set_predicate (e, toplev_predicate);
     }
 }
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6dd2803..05efca0 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-06-04  Jan Hubicka  <jh@suse.cz>
+
+       PR tree-optimize/48929
+       * gcc.c-torture/compile/pr48929.c: New testcase.
+
 2011-06-04  Jakub Jelinek  <jakub@redhat.com>
 
        * gcc.dg/guality/rotatetest.c (f5, f6): Fix up pastos.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr48929.c b/gcc/testsuite/gcc.c-torture/compile/pr48929.c
new file mode 100644 (file)
index 0000000..f085dc6
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr48929.c
@@ -0,0 +1,32 @@
+/*{ dg-options "-O  -findirect-inlining" }*/
+void bar ();
+
+static void
+f4 (double di, double d, double *dd)
+{
+  if (d == 0 && di == 0)
+    *dd = 0;
+  bar ();
+}
+
+static inline void
+f3 (int i, double d)
+{
+  double di = i;
+  double dd;
+  f4 (di, d, &dd);
+}
+
+static inline void
+f2 (int i, double d)
+{
+  if (d < 0)
+    f3 (i, d);
+}
+
+void
+f1 ()
+{
+  f2 (0, 1);
+}
+