1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr45071.c b/gcc/testsuite/gcc.dg/pr45071.c
new file mode 100644
index 000000000..d1715db1b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr45071.c
@@ -0,0 +1,34 @@
+/* { dg-do compile } */
+/* { dg-options "-O -ftree-vrp -ftree-vectorize" } */
+
+struct A
+{
+  int i;
+};
+
+struct B
+{
+  struct A a;
+};
+
+extern void f4 (void *);
+
+inline void
+f3 (struct A *a)
+{
+  f4 (a);
+  while (a->i);
+}
+
+static inline void
+f2 (struct B *b)
+{
+  f3 (&b->a);
+}
+
+void
+f1 ()
+{
+  struct B *b = 0;
+  f2 (b);
+}