1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr42878-2.c b/gcc/testsuite/gcc.dg/torture/pr42878-2.c
new file mode 100644
index 000000000..67e413a2c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr42878-2.c
@@ -0,0 +1,34 @@
+/* { dg-do compile } */
+/* { dg-options "-fcompare-debug" } */
+
+extern void error(void) __attribute__((noreturn));
+
+struct S {
+  struct S *s;
+};
+
+static inline unsigned char f2()
+{
+  error();
+}
+
+static inline void f1()
+{
+  int builtin_optab;
+  if (!f2() && builtin_optab)
+    error();
+}
+
+extern void f4(struct S *s);
+
+static inline void f3(struct S *s)
+{
+  f4(s->s->s);
+}
+
+void expand_builtin(struct S *s, int cond)
+{
+  if (cond)
+    f1();
+  f3(s);
+}