From: Martin Jambor <mjambor@suse.cz>
Date: Mon, 12 Jan 2026 12:32:06 +0000 (+0100)
Subject: ipa-cp: Fix ipa-bit-cp test for recipient_only lattices
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1f372a29808704910b3dfabd1a4f32704be037a8;p=thirdparty%2Fgcc.git

ipa-cp: Fix ipa-bit-cp test for recipient_only lattices

Unfortunately I made a silly copy-and paste error in may patch
introducing the recipient_only flag.  This patch fixes it, correctly
bailing out in ipa-bit-cp when it is set during propagation.

gcc/ChangeLog:

2026-01-12  Martin Jambor  <mjambor@suse.cz>

	PR ipa/123543
	* ipa-cp.cc (propagate_bits_across_jump_function): Fix test for
	recipient_only_p.

gcc/testsuite/ChangeLog:

2026-01-12  Martin Jambor  <mjambor@suse.cz>

	PR ipa/123543
	* gcc.dg/ipa/pr123543.c: New test.
---

diff --git a/gcc/ipa-cp.cc b/gcc/ipa-cp.cc
index 54f4e4f543c..9f61f682d58 100644
--- a/gcc/ipa-cp.cc
+++ b/gcc/ipa-cp.cc
@@ -2618,7 +2618,7 @@ propagate_bits_across_jump_function (cgraph_edge *cs, int idx,
 	 and we store it in jump function during analysis stage.  */
 
       if (!src_lats->bits_lattice.bottom_p ()
-	  || src_lats->bits_lattice.recipient_only_p ())
+	  && !src_lats->bits_lattice.recipient_only_p ())
 	{
 	  if (!op_type)
 	    op_type = ipa_get_type (caller_info, src_idx);
diff --git a/gcc/testsuite/gcc.dg/ipa/pr123543.c b/gcc/testsuite/gcc.dg/ipa/pr123543.c
new file mode 100644
index 00000000000..b3cd4c2bda6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ipa/pr123543.c
@@ -0,0 +1,14 @@
+/* { dg-do run } */
+/* { dg-options "-O3" } */
+
+__attribute__((noinline))
+static int local_f(int a, int b) { return a + b; }
+
+__attribute__((noinline))
+int extern_f(int a, int b) { return local_f(a, b); }
+
+int  unused_g1(int b) { return extern_f(0, b); }
+
+int (*volatile fp)(int, int) = extern_f;
+
+int main() { if (fp(1, 2) != 3) __builtin_abort(); }