1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr17656.c b/gcc/testsuite/gcc.c-torture/compile/pr17656.c
new file mode 100644
index 000000000..0acb71f0c
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr17656.c
@@ -0,0 +1,18 @@
+int sprintf (char *s, const char *format, ...);
+
+int foo(int i, int j)
+{
+   char *buf, *str;
+
+   if (i)
+     str = "";
+   else if (j)
+     str = "";
+   else
+     return 1;
+
+   /* We were propagating &""[0] here and not calling fold_stmt with a
+      proper statement pointer.  */
+   sprintf(buf, str);
+   return 0;
+}