diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-10-17 12:38:38 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-10-17 12:38:38 +0000 |
| commit | b223a28db4e098ef2005daaac6c669912f249d97 (patch) | |
| tree | ef9ec95fcaa9b45c4efd421b76367237c4a84fa1 /gcc/tree-vrp.c | |
| parent | f261d4808cc28a2dfd47fe06c97364c0869bb78f (diff) | |
re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always false)
PR tree-optimization/92131
* tree-vrp.c (value_range_base::dump): Display +INF for both
pointers and integers when appropriate.
From-SVN: r277107
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 21910b36518..8d4f16e9e1f 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 |