rt_gccstream/gcc/testsuite/gcc.c-torture/compile/pr37713.c

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);
}