Name: mc57594 Date: 02/10/97


A statement that is correctly diagnosed as unreachable (e.g.
below) because it follows a while loop (or similar construct) whose boolean
expression is the literal 'true' is not correctly diagnosed when the
expression is another constant expression of value true.

class B {
{
do
;
while (true ? true : false); // never terminates
System.out.println("hello, world!"); // unreachable
}
}
======================================================================