[gcc r12-8384] ipa/105598 - testcase for PR105598

[Richard Biener <rguenth@gcc.gnu.org>]

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

commit r12-8384-g9b5109971b532a7a0834bcd5d12216d15e2d8c47
Author: Richard Biener <rguenther@suse.de>
Date:   Mon May 16 11:21:06 2022 +0200

    ipa/105598 - testcase for PR105598
    
    2022-05-16  Richard Biener  <rguenther@suse.de>
    
    gcc/testsuite/
            * gcc.dg/torture/pr105598.c: New testcase.
    
    (cherry picked from commit 6230911cb91d428631e741d7d981fab578102084)

Diff:
---
 gcc/testsuite/gcc.dg/torture/pr105598.c | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/gcc/testsuite/gcc.dg/torture/pr105598.c b/gcc/testsuite/gcc.dg/torture/pr105598.c
new file mode 100644
index 00000000000..0a4ea3b0bd1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr105598.c
@@ -0,0 +1,32 @@
+/* { dg-do run } */
+
+typedef struct { unsigned int num; } info_t;
+typedef struct { unsigned int flag, type; } block_t;
+info_t info;
+block_t blocks[] = { {2,0}, {3,0}, {1,0}, {1,0} };
+
+static block_t *
+f (info_t *i, block_t *b)
+{
+  while (1) {
+    unsigned int is_last = b->flag & 0x01;
+    i->num++;
+    if (b->flag & 0x02) {
+      if (b->type != 0x1) b->type = b->type;
+      b = f (i, b+1);
+    }
+    if (is_last)
+      break;
+    b++;
+  }
+  return b;
+}
+
+int
+main ()
+{
+  f(&info, &blocks[0]);
+  if (info.num != 4)
+    __builtin_abort ();
+  return 0;
+}