From: Aldy Hernandez Date: Thu, 17 Oct 2019 12:41:45 +0000 (+0000) Subject: Remove incorrect PR from ChangeLog. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9309a5470833460a6ee80cfa422b5258411be29e;p=gcc.git Remove incorrect PR from ChangeLog. From-SVN: r277108 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3126adc95f4..efbc5c6a8a1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,6 +1,5 @@ 2019-10-17 Aldy Hernandez - PR tree-optimization/92131 * tree-vrp.c (value_range_base::dump): Display +INF for both pointers and integers when appropriate.