From: Richard Biener <rguenther@suse.de>
Date: Fri, 13 Feb 2026 14:16:28 +0000 (+0100)
Subject: testsuite/115827 - avoid false negative because of CCP
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=539e6a417856519d6112e99a1583da1926e34047;p=thirdparty%2Fgcc.git

testsuite/115827 - avoid false negative because of CCP

The following adjusts two uninit testcases to avoid a false negative
that appears when using -msoft-float on arm because the testcase
then mutates into a classical case of CCP eliding

  # _11 = PHI <1.0e+0(2), f$real_9(D)(3)>

Avoid this by using a non-constant.  And avoid flipping locations
for the diagnostic by not duplicating the return statement.

	PR testsuite/115827
	* gcc.dg/auto-init-uninit-17.c: Avoid CCP.
	* gcc.dg/uninit-17.c: Likewise.
---

diff --git a/gcc/testsuite/gcc.dg/auto-init-uninit-17.c b/gcc/testsuite/gcc.dg/auto-init-uninit-17.c
index 9eec9440c75..d76227abbe4 100644
--- a/gcc/testsuite/gcc.dg/auto-init-uninit-17.c
+++ b/gcc/testsuite/gcc.dg/auto-init-uninit-17.c
@@ -2,14 +2,11 @@
 /* { dg-options "-O -Wuninitialized -ftrivial-auto-var-init=zero" } */
 
 typedef _Complex float C;
-C foo(int cond)
+C foo(int cond, float r)
 {
   C f;
   __imag__ f = 0;
   if (cond)
-    {
-      __real__ f = 1;
-      return f;
-    }
+    __real__ f = r; /* No constant to avoid a CCP induced false negative. */
   return f;	/* { dg-warning "may be used" "unconditional" } */
 }
diff --git a/gcc/testsuite/gcc.dg/uninit-17.c b/gcc/testsuite/gcc.dg/uninit-17.c
index 8a95f15c5ae..ebf2cae0ec2 100644
--- a/gcc/testsuite/gcc.dg/uninit-17.c
+++ b/gcc/testsuite/gcc.dg/uninit-17.c
@@ -2,14 +2,11 @@
 /* { dg-options "-O -Wuninitialized" } */
 
 typedef _Complex float C;
-C foo(int cond)
+C foo(int cond, float r)
 {
   C f;
   __imag__ f = 0;
   if (cond)
-    {
-      __real__ f = 1;
-      return f;
-    }
+    __real__ f = r; /* No constant to avoid a CCP induced false negative. */
   return f;	/* { dg-warning "may be used" "unconditional" } */
 }