java/1331: gcj allows boolean value to be returned for int method

[bryce@albatross.co.nz]

>Number:         1331
>Category:       java
>Synopsis:       gcj allows boolean value to be returned for int method
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    tromey
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Dec 20 12:19:06 PST 2000
>Closed-Date:    Mon Oct 09 17:51:28 PDT 2000
>Last-Modified:  Mon Oct  9 18:00:00 PDT 2000
>Originator:     Bryce McKinlay
>Release:        unknown-1.0
>Organization:
>Environment:

>Description:
The following code is illegal in Java. gcj does not detect
the error.

class IntRet
{
  int a()
  {
    return false;
  }
}
>How-To-Repeat:
try it out.
>Fix:

>Release-Note:

>Audit-Trail:

Formerly PR gcj/307

Responsible-Changed-From-To: apbianco->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Thu Sep  7 15:47:47 2000
Responsible-Changed-Why:
    I submitted a patch for this:
    
    http://gcc.gnu.org/ml/gcc-patches/2000-09/msg00256.html
State-Changed-From-To: open->analyzed
State-Changed-By: tromey
State-Changed-When: Thu Sep  7 15:47:47 2000
State-Changed-Why:
    boolean just wasn't handled in parts of the front end.
    My patch fixes this in every place I could think of.

From: tromey@cygnus.com
To: apbianco@cygnus.com, bryce@albatross.co.nz,
  java-gnats@sourceware.cygnus.com, tromey@cygnus.com
Cc:  
Subject: Re: gcj/307
Date: 7 Sep 2000 22:47:47 -0000

 Synopsis: gcj allows boolean value to be returned for int method
 
 Responsible-Changed-From-To: apbianco->tromey
 Responsible-Changed-By: tromey
 Responsible-Changed-When: Thu Sep  7 15:47:47 2000
 Responsible-Changed-Why:
     I submitted a patch for this:
     
     http://gcc.gnu.org/ml/gcc-patches/2000-09/msg00256.html
 State-Changed-From-To: open->analyzed
 State-Changed-By: tromey
 State-Changed-When: Thu Sep  7 15:47:47 2000
 State-Changed-Why:
     boolean just wasn't handled in parts of the front end.
     My patch fixes this in every place I could think of.
 
 http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=307&database=java
State-Changed-From-To: analyzed->feedback
State-Changed-By: tromey
State-Changed-When: Tue Oct  3 14:07:34 2000
State-Changed-Why:
    I've checked in the patch.
    Please give it a try.
    If it is ok I'll close the PR

From: tromey@cygnus.com
To: bryce@albatross.co.nz, java-gnats@sourceware.cygnus.com, tromey@cygnus.com
Cc:  
Subject: Re: gcj/307
Date: 3 Oct 2000 21:07:35 -0000

 Synopsis: gcj allows boolean value to be returned for int method
 
 State-Changed-From-To: analyzed->feedback
 State-Changed-By: tromey
 State-Changed-When: Tue Oct  3 14:07:34 2000
 State-Changed-Why:
     I've checked in the patch.
     Please give it a try.
     If it is ok I'll close the PR
 
 http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=307&database=java
State-Changed-From-To: feedback->closed
State-Changed-By: bryce
State-Changed-When: Mon Oct  9 17:51:28 2000
State-Changed-Why:
    Tom's fix works fine.

From: bryce@albatross.co.nz
To: bryce@albatross.co.nz, java-gnats@sourceware.cygnus.com, tromey@cygnus.com
Cc:  
Subject: Re: gcj/307
Date: 10 Oct 2000 00:51:28 -0000

 Synopsis: gcj allows boolean value to be returned for int method
 
 State-Changed-From-To: feedback->closed
 State-Changed-By: bryce
 State-Changed-When: Mon Oct  9 17:51:28 2000
 State-Changed-Why:
     Tom's fix works fine.
 
 http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=307&database=java
>Unformatted: