Name: ###@###.### Date: 09/05/96

a variable is not considered as definitely assigned after
             the boolean operator == when false. Meanwhile, in one case it
             is definitely assigned after its left operand when true and
             after its right operand when true. In the other case, vice
             versa, it is definitely assigned after the left operand when
             false and after the right operand when false. This contradicts
             the following assertion:

             V is definitely assigned after a == b when false iff at least
             one of the following is true:

             - V is definitely assigned after b.
             - V is definitely assigned after a when true and V is definitely
               assigned after b when true.
             - V is definitely assigned after a when false and V is definitely
               assigned after b when false.

             (Java Language Specification, section 16.1.9)

Test: compilation of the following test

public class test
{
public static void main(String argv[])
{
boolean b;
boolean r = false;
boolean t = true;

if ((t && (b = r)) == (t && (b = t)));
else
r = b;
System.out.println(r);
if ((r || (b = r)) == (r || (b = t)));
else
r = b;
System.out.println(r);
}
}

produces such diagnostics:

novo40% javac test.java
test.java:11: Variable b may not have been initialized.
r = b;
^
test.java:15: Variable b may not have been initialized.
r = b;
^
2 errors

======================================================================