Re: java/3730: byte code verifier type sensitivity bug

Re: java/3730: byte code verifier type sensitivity bug

[apbianco]

Synopsis: byte code verifier type sensitivity bug

State-Changed-From-To: open->closed
State-Changed-By: apbianco
State-Changed-When: Thu Jul 19 00:43:53 2001
State-Changed-Why:
    Tony Kimball is asking for the case to be closed.

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=3730&database=gcc

Re: java/3730: byte code verifier type sensitivity bug

[Tony Kimball]

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

From: Tony Kimball <alk@pobox.com>
To: apbianco@cygnus.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: java/3730: byte code verifier type sensitivity bug
Date: Thu, 19 Jul 2001 01:32:11 -0500

 Quoth Alexandre Petit-Bianco on Wednesday, 18 July:
 : 
 : ...I can't reproduce the problem...
 
 I have determined that this was an artifact of my build.
 I apologize for the bad bug report.  It should be closed
 as a non-bug.

Re: java/3730: byte code verifier type sensitivity bug

[Alexandre Petit-Bianco]

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

From: Alexandre Petit-Bianco <apbianco@cygnus.com>
To: alk@post.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: java/3730: byte code verifier type sensitivity bug
Date: Wed, 18 Jul 2001 13:18:56 -0700 (PDT)

 alk@post.com writes:
 
 > does not compile.  changing 'long' to 'int', it compiles.
 > The complaint is:
 > 
 > WriterPreferenceReadWriteLock.java: In class `WriterPreferenceReadWriteLock': 
 > WriterPreferenceReadWriteLock.java: In method `finit$()': 
 
 This tells me you're compiling to bytecode using gcj. I updated and
 rebuilt 3.0.1 but I can't reproduce the problem:
 
  $ gcj -C WriterPreferenceReadWriteLock.java 
  $ gcj -c WriterPreferenceReadWriteLock.class 
  $ gcj -C -g WriterPreferenceReadWriteLock.java 
  $ gcj -c WriterPreferenceReadWriteLock.class 
  $ javac WriterPreferenceReadWriteLock.java 
  $ gcj -c WriterPreferenceReadWriteLock.class 
  $ gcj -c X.class 
 
 javac is JDK1.1.8. X.class is WriterPreferenceReadWriteLock.java built
 with JDK1.2.2. 
 
 Could you attach the generated class file?
 
 ./A

java/3730: byte code verifier type sensitivity bug

[alk]

>Number:         3730
>Category:       java
>Synopsis:       byte code verifier type sensitivity bug
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Jul 18 11:26:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     alk@post.com
>Release:        3.0.1 branch
>Organization:
>Environment:
i686-pc-linux-gnu
>Description:
public class WriterPreferenceReadWriteLock {
  protected long waitingReaders_ = 0;
  protected synchronized void cancelledWaitingReader() { --waitingReaders_; return; }
}

does not compile.  changing 'long' to 'int', it compiles.
The complaint is:

WriterPreferenceReadWriteLock.java: In class `WriterPreferenceReadWriteLock': 
WriterPreferenceReadWriteLock.java: In method `finit$()': 
WriterPreferenceReadWriteLock.java:2: verification error at PC=2 
WriterPreferenceReadWriteLock.java:2: expected type 'long' but stack contains 'void' 
WriterPreferenceReadWriteLock.java: In method `WriterPreferenceReadWriteLock.cancelledWaitingReader()': 
WriterPreferenceReadWriteLock.java:3: expected type 'long' but stack contains 'void' 
WriterPreferenceReadWriteLock.java:3: Invalid multi-word value on type stack 
WriterPreferenceReadWriteLock.java:3: verification error at PC=8 
WriterPreferenceReadWriteLock.java:3: expected type 'long' but stack contains 'void' 
>How-To-Repeat:
see description
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: text/x-java; name="WriterPreferenceReadWriteLock.java"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="WriterPreferenceReadWriteLock.java"

cHB1YmxpYyBjbGFzcyBXcml0ZXJQcmVmZXJlbmNlUmVhZFdyaXRlTG9jayB7CiAgcHJvdGVjdGVk
IGxvbmcgd2FpdGluZ1JlYWRlcnNfID0gMDsKICBwcm90ZWN0ZWQgc3luY2hyb25pemVkIHZvaWQg
Y2FuY2VsbGVkV2FpdGluZ1JlYWRlcigpIHsgLS13YWl0aW5nUmVhZGVyc187IHJldHVybjsgfQp9
Cgo=