Assignment removed despite conditional return

[fruffy]

Consider the following function:

void do_something(inout bit<8> val) {
    if (val == 8w0) {
        val = 8w1;
        return;
    }
    val = 8w2;
    return;
}

After FrontEnd_32_SimplifyDefUse this is turned into

void do_something(inout bit<8> val) {
    if (val == 8w0) {
        ;
        return;
    }
    val = 8w2;
    return;
}

It seems that SimplifyDefUse does not consider the return statement and erroneously removes the assignment.

return_in_function_if.p4.txt
return_in_function_if.stf.txt