From: aldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 17 Oct 2019 12:38:38 +0000 (+0000)
Subject: 	PR tree-optimization/92131
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=181652340b0ed4485111480306af855ec97e9c41;p=thirdparty%2Fgcc.git

	PR tree-optimization/92131
	* tree-vrp.c (value_range_base::dump): Display +INF for both
	pointers and integers when appropriate.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9c0e754360e1..3126adc95f40 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2019-10-17  Aldy Hernandez  <aldyh@redhat.com>
+
+	PR tree-optimization/92131
+	* tree-vrp.c (value_range_base::dump): Display +INF for both
+	pointers and integers when appropriate.
+
 2019-10-17  Andre Vieira  <andre.simoesdiasvieira@arm.com>
 
 	* tree-vect-loop.c (vect_analyze_loop_2): Use same condition to decide
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 39496169bc5a..abd9dd1c2dd1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-10-17  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gcc.dg/tree-ssa/evrp4.c: Check for +INF instead of -1.
+
 2019-10-17  Christophe Lyon  <christophe.lyon@linaro.org>
 
 	* gcc.target/arm/vseleqdf.c: Add missing closing bracket.
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/evrp4.c b/gcc/testsuite/gcc.dg/tree-ssa/evrp4.c
index ba2f6b9b430a..6710e6b5eff8 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/evrp4.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/evrp4.c
@@ -17,4 +17,4 @@ int bar (struct st *s)
   foo (&s->a);
 }
 
-/* { dg-final { scan-tree-dump "\\\[1B, -1B\\\]" "evrp" } } */
+/* { dg-final { scan-tree-dump "\\\[1B, \\+INF\\\]" "evrp" } } */
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 21910b365180..8d4f16e9e1f0 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -428,8 +428,8 @@ value_range_base::dump (FILE *file) const
 
       fprintf (file, ", ");
 
-      if (INTEGRAL_TYPE_P (ttype)
-	  && vrp_val_is_max (max ())
+      if (supports_type_p (ttype)
+	  && vrp_val_is_max (max (), true)
 	  && TYPE_PRECISION (ttype) != 1)
 	fprintf (file, "+INF");
       else