Generate less dead code by deleting unreachable blocks at the end of functions (which would otherwise appear if a function ends with a return, for example).

module goto1;

void main()
{
    int i;
    goto lbl;
    i++;
lbl:
    assert(i == 0);
}