From: Aldy Hernandez Date: Thu, 17 Oct 2019 12:41:45 +0000 (+0000) Subject: Remove incorrect PR from ChangeLog. X-Git-Tag: misc/cutover-git~1964 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9309a5470833460a6ee80cfa422b5258411be29e;p=thirdparty%2Fgcc.git Remove incorrect PR from ChangeLog. From-SVN: r277108 --- 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.