From: Franz Sirl <Franz.Sirl-kernel@lauterbach.com>
Date: Tue, 30 Jan 2001 19:34:41 +0000 (+0000)
Subject: jump.c (comparison_dominates_p): Don't try to handle UNKNOWN comparison codes.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1e738f74b939e1330310b7f4f1e489ab7e868c07;p=gcc.git

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 407065b84cc..22c5b2d1ccc 100644
--- 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 ff2ab146d97..6e1601400f6 100644
--- 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;