projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b223a28)
Remove incorrect PR from ChangeLog.
authorAldy Hernandez <aldyh@gcc.gnu.org>
Thu, 17 Oct 2019 12:41:45 +0000 (12:41 +0000)
committerAldy Hernandez <aldyh@gcc.gnu.org>
Thu, 17 Oct 2019 12:41:45 +0000 (12:41 +0000)
From-SVN: r277108

gcc/ChangeLog patch | blob | history

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3126adc95f40231c1648b069992e32735423ffba..efbc5c6a8a177779959b21704ed261da633f12f0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,6 +1,5 @@
 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.