From: H.J. Lu <hjl.tools@gmail.com>
Date: Mon, 25 Aug 2025 15:20:00 +0000 (-0700)
Subject: Add a test for PR tree-optimization/121656
X-Git-Tag: basepoints/gcc-17~5424
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1b6b27536311afefaebf57ff77ed20a8bb41eadd;p=thirdparty%2Fgcc.git

Add a test for PR tree-optimization/121656

	PR tree-optimization/121656
	* gcc.dg/pr121656.c: New file.

Signed-off-by: H.J. Lu <hjl.tools@gmail.com>
---

diff --git a/gcc/testsuite/gcc.dg/pr121656.c b/gcc/testsuite/gcc.dg/pr121656.c
new file mode 100644
index 00000000000..00b89418a31
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr121656.c
@@ -0,0 +1,21 @@
+/* { dg-do run } */
+/* { dg-options "-O1" } */
+
+__attribute__ ((weak))
+void
+foo (int b)
+{
+  if (b != 3)
+    __builtin_abort ();
+}
+
+int a;
+int
+main ()
+{
+  int b = 0;
+  if (a >= 0)
+    b += 3;
+  foo (b);
+  return 0;
+}