[gcc r15-7303] testsuite: Add testcase for already fixed PR [PR117498]

[Jakub Jelinek via Gcc-cvs]

https://gcc.gnu.org/g:9fc0683082067801e3790f7cfffedbf5441e0f82

commit r15-7303-g9fc0683082067801e3790f7cfffedbf5441e0f82
Author: Jakub Jelinek <ja...@redhat.com>
Date:   Fri Jan 31 12:39:34 2025 +0100

    testsuite: Add testcase for already fixed PR [PR117498]
    
    This wrong-code issue has been fixed with r15-7249.
    We still emit warnings which are questionable and perhaps we'd
    get better generated code if niters determined the loop has only a single
    iteration without UB and we'd punt on vectorizing it (or unrolling).
    
    2025-01-31  Jakub Jelinek  <ja...@redhat.com>
    
            PR middle-end/117498
            * gcc.c-torture/execute/pr117498.c: New test.

Diff:
---
 gcc/testsuite/gcc.c-torture/execute/pr117498.c | 35 ++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr117498.c 
b/gcc/testsuite/gcc.c-torture/execute/pr117498.c
new file mode 100644
index 000000000000..085c6b6684bc
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr117498.c
@@ -0,0 +1,35 @@
+/* PR middle-end/117498 */
+
+int a, d, f;
+char g;
+volatile int c = 1;
+
+int
+foo ()
+{
+  if (c == 0)
+    return -1;
+  return 1;
+}
+
+void
+bar (int h, int i, char *k, char *m)
+{
+  for (; d < i; d += 2)
+    for (int j = 0; j < h; j++)
+      m[j] = k[4 * j];
+}
+
+void
+baz (long h)
+{
+  char n = 0;
+  bar (h, 4, &n, &g);
+}
+
+int
+main ()
+{
+  f = foo ();
+  baz ((unsigned char) f - 4);
+}