Re: java/5941: incorrect "Unreachable statement" error

["Saurin B. Shroff" <shroff@transeda.com>]

The following reply was made to PR java/5941; it has been noted by GNATS.

From: "Saurin B. Shroff" <shroff@transeda.com>
To: tromey@redhat.com
Cc: gcc-gnats@gcc.gnu.org, Saurin Shroff <shroff@transeda.com>
Subject: Re: java/5941: incorrect "Unreachable statement" error
Date: Wed, 13 Mar 2002 15:49:07 -0500

 Thanks a lot for a quick response...
 
 I had similar error in three other files with no apparent similarities.
 Upon closer look, I found that all four loops had one thing common:
 they all exited the loop after first iteration. Some of them "returned"
 after first iteration, some "break"ed from the loop.
 
 Following is a simplified code that shows this behavior:
 
 public class bug2 {
 
     public static int showBug2 () {
 	for (int i=0; i <= 10; i++) {
 	    if ( i > 3 ) {
 		return 10;
 	    } else {
 		return 11;
 	    }
 	}
 
 	return 12;
     }
 }
 
 As you will notice that loop is exited after first iteration, and so the
 loop incrementer "i++" will never be executed.
 
 So it seems that we have found some bugs in our code thanks to GCJ.
 
 What I would suggest that "Unreachable statement" should be a warning
 rather than error since it stops the compilation
 
 -- Saurin
 
 Tom Tromey wrote:
 > 
 > >>>>> "Saurin" == shroff  <shroff@transeda.com> writes:
 > 
 > Saurin> Synopsis:       incorrect "Unreachable statement" error
 > Saurin> Release:        GNU Java version 3.0.1 (sparc-sun-solaris2.8)
 > 
 > Saurin> hdlFSM.java:448: Unreachable statement.
 > Saurin>             for (int i=lowIndex; i <= highIndex; i++) {
 > Saurin>                                                        ^
 > Saurin> 1 error
 > 
 > Do you have a small (one or two files) test case?
 > Or can you easily try the gcj from the 3.1 CVS branch?
 > 
 > As I recall this code has been substantially improved in 3.1.
 > I imagine your bug has already been fixed.
 > 
 > Tom