From: Richard Biener <rguenther@suse.de>
Date: Tue, 3 Feb 2026 08:26:01 +0000 (+0100)
Subject: ipa/123416 - fix IPA modref summary merging after inlining
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=576dd2f7ef0dbc30b460176442e63b08c642676c;p=thirdparty%2Fgcc.git

ipa/123416 - fix IPA modref summary merging after inlining

There's a typo in the condition skipping load collapsing when
there's no callee modref summary.  We do have to collapse loads
for the destination iff the callee performs any loads which includes
when the callee is ECF_PURE.  The LTO summary part already gets
this correct.

	PR ipa/123416
	* ipa-modref.cc (ipa_merge_modref_summary_after_inlining):
	Fix typo in condtion for load merging when no callee summary.

	* gcc.dg/torture/pr123416.c: New testcase.
---

diff --git a/gcc/ipa-modref.cc b/gcc/ipa-modref.cc
index 372f7354361..fc00acecfce 100644
--- a/gcc/ipa-modref.cc
+++ b/gcc/ipa-modref.cc
@@ -5352,7 +5352,7 @@ ipa_merge_modref_summary_after_inlining (cgraph_edge *edge)
 
   if (!callee_info && to_info)
     {
-      if (!(flags & (ECF_CONST | ECF_PURE | ECF_NOVOPS)))
+      if (!(flags & (ECF_CONST | ECF_NOVOPS)))
 	to_info->loads->collapse ();
       if (!ignore_stores)
 	to_info->stores->collapse ();
diff --git a/gcc/testsuite/gcc.dg/torture/pr123416.c b/gcc/testsuite/gcc.dg/torture/pr123416.c
new file mode 100644
index 00000000000..83a126da445
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr123416.c
@@ -0,0 +1,28 @@
+/* { dg-do run } */
+/* { dg-additional-options "-fno-strict-aliasing" } */
+
+struct a {
+  int b;
+} c;
+
+int d;
+
+static struct a
+g()
+{
+  int a[2], b, f = 0;
+  for (; f < 2; f++)
+    a[f] = 1;
+  b = a[0];
+  if (b)
+    return c;
+}
+int main()
+{
+  c.b = 1;
+  struct a e = g();
+  c = g();
+  if (!c.b || !e.b)
+    __builtin_abort();
+  return 0;
+}