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/gentoo/75_all_PR112572-missing-notes-update.patch | |
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/gentoo/75_all_PR112572-missing-notes-update.patch')
-rw-r--r-- | 14.0.0/gentoo/75_all_PR112572-missing-notes-update.patch | 14 |
1 files changed, 0 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 ()); |