[gcc r12-11242] Fix ICE with -fdump-tree-moref

[Richard Biener via Gcc-cvs]

https://gcc.gnu.org/g:14d40a2c5616e0a7225a95c801c0af78523b352e

commit r12-11242-g14d40a2c5616e0a7225a95c801c0af78523b352e
Author: Jan Hubicka <hubi...@ucw.cz>
Date:   Mon Jul 29 10:48:34 2024 +0200

    Fix ICE with -fdump-tree-moref
    
    gcc/ChangeLog:
    
            PR ipa/116055
            * ipa-modref.cc (analyze_function): Do not ICE when flags regress.
    
    (cherry picked from commit 98baaa17561ca299eefc98f469f4326e551604c9)

Diff:
---
 gcc/ipa-modref.cc | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gcc/ipa-modref.cc b/gcc/ipa-modref.cc
index 5648409d60e8..6d6620236596 100644
--- a/gcc/ipa-modref.cc
+++ b/gcc/ipa-modref.cc
@@ -3294,7 +3294,8 @@ analyze_function (bool ipa)
                    fprintf (dump_file, "  Flags for param %i improved:",
                             (int)i);
                  else
-                   gcc_unreachable ();
+                   fprintf (dump_file, "  Flags for param %i changed:",
+                            (int)i);
                  dump_eaf_flags (dump_file, old_flags, false);
                  fprintf (dump_file, " -> ");
                  dump_eaf_flags (dump_file, new_flags, true);
@@ -3310,7 +3311,7 @@ analyze_function (bool ipa)
                  || (summary->retslot_flags & EAF_UNUSED))
                fprintf (dump_file, "  Flags for retslot improved:");
              else
-               gcc_unreachable ();
+               fprintf (dump_file, "  Flags for retslot changed:");
              dump_eaf_flags (dump_file, past_retslot_flags, false);
              fprintf (dump_file, " -> ");
              dump_eaf_flags (dump_file, summary->retslot_flags, true);
@@ -3325,7 +3326,7 @@ analyze_function (bool ipa)
                  || (summary->static_chain_flags & EAF_UNUSED))
                fprintf (dump_file, "  Flags for static chain improved:");
              else
-               gcc_unreachable ();
+               fprintf (dump_file, "  Flags for static chain changed:");
              dump_eaf_flags (dump_file, past_static_chain_flags, false);
              fprintf (dump_file, " -> ");
              dump_eaf_flags (dump_file, summary->static_chain_flags, true);