jump.c (comparison_dominates_p): Don't try to handle UNKNOWN comparison codes.

        2001-01-30  Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>

        * jump.c (comparison_dominates_p): Don't try to handle UNKNOWN
        comparison codes.

From-SVN: r39353

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 407065b84cc8badb685059d3bf2277d780988b36..22c5b2d1ccc67265478e2f2b7d29b47e5d1d5b01 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-01-30  Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>
+
+       * jump.c (comparison_dominates_p): Don't try to handle UNKNOWN
+       comparison codes.
+
 2001-01-30  Neil Booth  <neil@daikokuya.demon.co.uk>
 
         * c-decl.c (c_expand_body): Check TYPE_SIZE_UNIT (ret_type)

diff --git a/gcc/jump.c b/gcc/jump.c
index ff2ab146d9778ea059e7548e4870fe4494f9c7f2..6e1601400f6a4f64ea3878aa03db5df9ca7ee670 100644 (file)
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -2087,6 +2087,12 @@ int
 comparison_dominates_p (code1, code2)
      enum rtx_code code1, code2;
 {
+  /* UNKNOWN comparison codes can happen as a result of trying to revert
+     comparison codes.
+     They can't match anything, so we have to reject them here.  */
+  if (code1 == UNKNOWN || code2 == UNKNOWN)
+    return 0;
+
   if (code1 == code2)
     return 1;