diff options
| author |   Sam James <sam@gentoo.org> | 2023-12-06 10:51:25 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2023-12-06 10:52:16 +0000 |
| commit | 79bab9e66fc190741117eb485fe425aeb5096b0a (patch) | |
| tree | d3cb37526df654b3bf203f777e14487507a06e32 /14.0.0 | |
| parent | 13.2.0: cut patchset 11 (diff) | |
| download | gcc-patches-79bab9e66fc190741117eb485fe425aeb5096b0a.tar.gz gcc-patches-79bab9e66fc190741117eb485fe425aeb5096b0a.tar.bz2 gcc-patches-79bab9e66fc190741117eb485fe425aeb5096b0a.zip | |
14.0.0: drop 75_all_PR112572-missing-notes-update.patch
Per https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112572#c33, this shouldn't
be needed anymore.
Bug: https://gcc.gnu.org/PR112760
Bug: https://gcc.gnu.org/PR112572
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to '14.0.0')
| -rw-r--r-- | 14.0.0/gentoo/75_all_PR112572-missing-notes-update.patch | 14 | ||||
| -rw-r--r-- | 14.0.0/gentoo/README.history | 4 |
2 files changed, 4 insertions, 14 deletions
diff --git a/14.0.0/gentoo/75_all_PR112572-missing-notes-update.patch b/14.0.0/gentoo/75_all_PR112572-missing-notes-update.patch deleted file mode 100644 index 33d2e4f..0000000 --- a/14.0.0/gentoo/75_all_PR112572-missing-notes-update.patch +++ /dev/null @@ -1,14 +0,0 @@ -https://gcc.gnu.org/PR112568 -https://gcc.gnu.org/PR112572 (specifically https://gcc.gnu.org/PR112572#c18 for the patch) -https://bugs.gentoo.org/917496 -https://bugs.gentoo.org/917486 ---- a/gcc/compare-elim.cc -+++ b/gcc/compare-elim.cc -@@ -908,6 +908,7 @@ static unsigned int - execute_compare_elim_after_reload (void) - { - df_set_flags (DF_LR_RUN_DCE); -+ df_note_add_problem (); - df_analyze (); - - gcc_checking_assert (!all_compares.exists ()); diff --git a/14.0.0/gentoo/README.history b/14.0.0/gentoo/README.history index 9d7a939..dd1bec0 100644 --- a/14.0.0/gentoo/README.history +++ b/14.0.0/gentoo/README.history @@ -1,3 +1,7 @@ +10 ?? ??? 2023 + + - 75_all_PR112572-missing-notes-update.patch + 9 20 Nov 2023 + 75_all_PR112572-missing-notes-update.patch |