1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr37713.c b/gcc/testsuite/gcc.c-torture/compile/pr37713.c
new file mode 100644
index 000000000..04b4394dc
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr37713.c
@@ -0,0 +1,10 @@
+void add_opush(void)
+{
+    unsigned char formats[] = { 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0xff };
+    void *dtds[sizeof(formats)];
+    unsigned int i;
+    unsigned char dtd = 0x08;
+    for (i = 0; i < sizeof(formats); i++)
+	dtds[i] = &dtd;
+    sdp_seq_alloc(dtds);
+}