Fix handling of in_flags in update_escape_summary_1

update_escape_summary_1 has thinko where it compues proper min_flags but then
stores original value (ignoring the fact whether there was a dereference
in the escape point).

	PR ipa/103432
	* ipa-modref.c (update_escape_summary_1): Fix handling of min_flags.

(cherry picked from commit a70faf6e4df7481c2c9a08a06657c20beb3043de)

diff --git a/gcc/ipa-modref.c b/gcc/ipa-modref.c
index 0fe168e04f18e76be18d3423e38038fc706bc405..030de86e5c7ac757c44731af31c370de2aa8bbfc 100644 (file)
--- a/gcc/ipa-modref.c
+++ b/gcc/ipa-modref.c
@@ -3032,7 +3032,7 @@ update_escape_summary_1 (cgraph_edge *e,
          if (ee->direct && !em->direct)
            min_flags = deref_flags (min_flags, ignore_stores);
          struct escape_entry entry = {em->parm_index, ee->arg,
-                                      ee->min_flags,
+                                      min_flags,
                                       ee->direct & em->direct};
          sum->esc.safe_push (entry);
        }