public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
* Re: java/3730: byte code verifier type sensitivity bug
@ 2001-07-18 23:36 Tony Kimball
0 siblings, 0 replies; 4+ messages in thread
From: Tony Kimball @ 2001-07-18 23:36 UTC (permalink / raw)
To: nobody; +Cc: gcc-prs
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: java/3730: byte code verifier type sensitivity bug
@ 2001-07-19 0:43 apbianco
0 siblings, 0 replies; 4+ messages in thread
From: apbianco @ 2001-07-19 0:43 UTC (permalink / raw)
To: alk, gcc-bugs, gcc-prs, java-prs, nobody
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: java/3730: byte code verifier type sensitivity bug
@ 2001-07-18 13:26 Alexandre Petit-Bianco
0 siblings, 0 replies; 4+ messages in thread
From: Alexandre Petit-Bianco @ 2001-07-18 13:26 UTC (permalink / raw)
To: nobody; +Cc: gcc-prs
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* java/3730: byte code verifier type sensitivity bug
@ 2001-07-18 11:26 alk
0 siblings, 0 replies; 4+ messages in thread
From: alk @ 2001-07-18 11:26 UTC (permalink / raw)
To: gcc-gnats
>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=
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2001-07-19 0:43 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-07-18 23:36 java/3730: byte code verifier type sensitivity bug Tony Kimball
-- strict thread matches above, loose matches on Subject: below --
2001-07-19 0:43 apbianco
2001-07-18 13:26 Alexandre Petit-Bianco
2001-07-18 11:26 alk
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).