[patch] Java definite assignment

[Tom Tromey]

>>>>> "Per" == Per Bothner <per@bothner.com> writes:

Per> This does seem like the correct fix, but I haven't tested it
Per> seriously.  Could someone try applying it before their next build
Per> and testsuite-run?

Per>         * check-init.c (check_init):  Don't call done_alternative after
Per>         processing loop code, as a LOOP_EXPR never terminates normally.

Changes like this are good candidates for before-and-after runs
through Jacks, to see if they cause regressions and/or improvements.
IMHO.

Tom