From: aldyh Date: Thu, 17 Oct 2019 12:41:45 +0000 (+0000) Subject: Remove incorrect PR from ChangeLog. X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3701fe49ee9f02db8887435ce1df11701451e023;p=thirdparty%2Fgcc.git Remove incorrect PR from ChangeLog. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@277108 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3126adc95f40..efbc5c6a8a17 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.