[gcc r14-8306] ipa: Add testcase for already fixed case [PR110705]

[gcc r14-8306] ipa: Add testcase for already fixed case [PR110705]

[Andrew Pinski]

https://gcc.gnu.org/g:17473a93cff5340acfc293299a2f9a5857a50909

commit r14-8306-g17473a93cff5340acfc293299a2f9a5857a50909
Author: Andrew Pinski <quic_apinski@quicinc.com>
Date:   Sat Jan 20 11:39:11 2024 -0800

    ipa: Add testcase for already fixed case [PR110705]
    
    This testcase was fixed with r13-1695-gb0f02eeb906b63 which
    added an Ada testcase for the issue but adding a C testcase
    is a good idea and that is what this does.
    
    Committed after making sure it passes on  x86_64-linux-gnu.
    
            PR ipa/110705
    
    gcc/testsuite/ChangeLog:
    
            * gcc.c-torture/compile/pr110705-1.c: New test.
    
    Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>

Diff:
---
 gcc/testsuite/gcc.c-torture/compile/pr110705-1.c | 27 ++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr110705-1.c b/gcc/testsuite/gcc.c-torture/compile/pr110705-1.c
new file mode 100644
index 00000000000..6c0029c99e3
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr110705-1.c
@@ -0,0 +1,27 @@
+/* PR ipa/110705 */
+
+/* We used to ICE in gimplify_modify_expr due to
+   the gimplifier not handling VCE between an struct
+   and an integer type.  */
+
+struct a {
+  long b;
+};
+union d {
+  struct a b;
+  int e;
+}v;
+long c;
+int f;
+static void g(union d h, long i) {
+  while (1)
+    switch (c)
+    case 4:
+      if (h.e)
+        c = 4;
+}
+void j(union d *h) {
+  if (f)
+    g(*h, h->b.b);
+}
+void k() { union d *h = &v; j(h); }