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

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

             V is definitely assigned after a ? b : c when true iff both
             of the following are true:

             - V is definitely assigned before b or V is definitely assigned
               after b when true.
             - V is definitely assigned before c or V is definitely assigned
               after c when true.

             (Java Language Specification, section 16.1.11)

Test: compilation of the following test

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

if ((t && (b = t)) ? t : t && (b = f))
r = b;
System.out.println(r);
if ((t || (b = f)) ? t && (b = t) : f)
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:14: Variable b may not have been initialized.
r = b;
^
2 errors

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