DU analysis for loops requires two passes

javac incorrectly rejects this program:

class C {
    void m() {
        final int i;
        while (true)
            if (false)
                i = 1;
    }
}