This is the mail archive of the java@gcc.gnu.org mailing list for the Java project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]

Re: branch bytecode verification

To: apbianco at cygnus dot com
Subject: Re: branch bytecode verification
From: Tony Kimball <alk at pobox dot com>
Date: Wed, 18 Jul 2001 13:18:19 -0500
Cc: java at gcc dot gnu dot org
References: <15189.49096.914700.449007@spanky.love.edu><15189.50029.376125.602138@fencer.cygnus.com>
Reply-To: alk at pobox dot com

Quoth Alexandre Petit-Bianco on Wednesday, 18 July:
: 
: Verification errors happen (and some times rightfully so.) But we'll
: need either a test case or a description on how to reproduce it.

I submitted a bug.  But the upshot is that

public class WriterPreferenceReadWriteLock {
  protected long waitingReaders_ = 0;
  protected synchronized void cancelledWaitingReader() { --waitingReaders_; return; }
}

fails the verifier.  Changing 'long' to 'int', it passes the verifier.

References:
- branch bytecode verification
  - From: Tony Kimball
- Re: branch bytecode verification
  - From: Alexandre Petit-Bianco

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]