void main()

{

    ubyte[9][1] data;

    ptrdiff_t a = 0;

    loop:

    data[0] = data[a];

    a--;

    bool b = false;

    if (b) goto loop;

    assert(a == -1); // Fails with -O

}

​