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

a variable is not considered as definitely assigned after a
             compound boolean assignment expression when true though it is
             definitely assigned after its right-hand side when false. This
             contradicts the following assertion:

             Suppose that an assignment expression a = b, a &= b, a |= b, or
             a ^= b is boolean-valued.

             - V is definitely assigned after a |= b when false iff either a
               is V or V would be definitely assigned after a | b (in the same
               context) when false.

             (Java Language Specification, section 16.1.13)

Test: compilation of the following test

public class test
{
public static void main(String argv[])
{
int i;
boolean [] a = new boolean [10];

a[0] = a[1] = true;
if (a[1] |= a[0] || (i = -1) > 0);
else
System.out.println(i);
}
}

produces such diagnostics:

novo40% javac test.java
test.java:11: Variable i may not have been initialized.
System.out.println(i);
^
1 error

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