>>>>> "Mark" == Mark Wielaard <[EMAIL PROTECTED]> writes:

Mark> I changed the program a little bit to force loading all classes
Mark> through the same ClassLoader when possible. Now it actually
Mark> seems to work. But a lot of the VerifyErrors seem to be wrong.

There are probably remaining bugs in the verifier.  I'm interested in
killing these as quickly as possible.

Mark> For example the verifier doesn't like something like the following:

I tried the appended example, which gives nearly identical bytecode.
It worked fine for me :-(.  Could you try it?

Mark> I attach the VerifyClass code so people can play with it.

Thanks, I'll give it a try soon.

Tom

public class bi
{
  int x;

  private static int compareTo (bi one, bi two)
  {
    return one.x - two.x;
  }

  public int compareTo (Object obj)
  {
    if (obj instanceof bi)
      return compareTo (this, (bi) obj);
    throw new ClassCastException ();
  }

  public static void main (String[] args)
  {
  }
}

_______________________________________________
Classpath mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/classpath

Reply via email to