From: Richard Biener <rguenther@suse.de>
Date: Fri, 30 Nov 2018 10:37:39 +0000 (+0000)
Subject: re PR tree-optimization/88274 (ICE in check, at tree-vrp.c:188)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45b97a09afcb101426a88ad1cd41740df9f6ca37;p=gcc.git

re PR tree-optimization/88274 (ICE in check, at tree-vrp.c:188)

2018-11-30  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/88274
	* tree-vrp.c (ranges_from_anti_range): Fix handling of
	TYPE_MIN/MAX_VALUE.

From-SVN: r266659
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 76db5d56219..de0acb9d50d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-11-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/88274
+	* tree-vrp.c (ranges_from_anti_range): Fix handling of
+	TYPE_MIN/MAX_VALUE.
+
 2018-11-29  Andi Kleen  <ak@linux.intel.com>
 
 	* config/i386/i386.c (current_fentry_section): Add.
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index eb4d5b0249d..aa6309e9e7b 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -1249,14 +1249,14 @@ ranges_from_anti_range (const value_range_base *ar,
       || !vrp_val_max (type))
     return false;
 
-  if (!vrp_val_is_min (ar->min ()))
-    *vr0 = value_range (VR_RANGE,
-			vrp_val_min (type),
-			wide_int_to_tree (type, wi::to_wide (ar->min ()) - 1));
-  if (!vrp_val_is_max (ar->max ()))
-    *vr1 = value_range (VR_RANGE,
-			wide_int_to_tree (type, wi::to_wide (ar->max ()) + 1),
-			vrp_val_max (type));
+  if (tree_int_cst_lt (vrp_val_min (type), ar->min ()))
+    vr0->set (VR_RANGE,
+	      vrp_val_min (type),
+	      wide_int_to_tree (type, wi::to_wide (ar->min ()) - 1));
+  if (tree_int_cst_lt (ar->max (), vrp_val_max (type)))
+    vr1->set (VR_RANGE,
+	      wide_int_to_tree (type, wi::to_wide (ar->max ()) + 1),
+	      vrp_val_max (type));
   if (vr0->undefined_p ())
     {
       *vr0 = *vr1;