[Bug libgcj/14781] New: Need flag to disable bytecode verification

[Bug libgcj/14781] New: Need flag to disable bytecode verification

[rmathew at hotmail dot com]

There is currently no way to disable bytecode verification
of loaded classes in gij, except by either commenting out 
the call to _Jv_VerifyMethod( ) in libjava/resolve.cc
or by emptying out the body of that method in 
libjava/verify.cc and then recompiling the whole
of libgcj!

Needless to say this is quite tedious.

Sun's JVMs support the following flags that should
be implemented by gij as well:

  -noverify       Do not do bytecode verification.
  -verify         Verify *all* loaded bytecode.

In addition, Sun's JVMs do not verify the classes in
the bootstrap CLASSPATH by default, unless explicitly
instructed by using the "-verify" flag. Again, gij
could benefit from this "optimisation".

-- 
           Summary: Need flag to disable bytecode verification
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: libgcj
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rmathew at hotmail dot com
                CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
                    dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14781

[Bug libgcj/14781] Need flag to disable bytecode verification

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-30 05:49 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-03-30 05:49:58
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14781

[Bug libgcj/14781] Need flag to disable bytecode verification

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2004-05-31 11:50 -------
Actually, verification is no longer optional according to the JVMS as well as
the JLS (Second Edition):

http://java.sun.com/docs/books/vmspec/2nd-edition/html/ChangesAppendix.doc.html#448680
http://java.sun.com/docs/books/jls/second_edition/html/execution.doc.html#44490

That explains why the corresponding options are "hidden" in the JDK (at least
as of 1.4.2).

So should this be marked as WONTFIX?

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14781

[Bug libgcj/14781] Need flag to disable bytecode verification

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2004-10-28 17:14 -------
I think we'll still want a flag allowing the user to disable verification.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14781

[Bug libgcj/14781] disable bytecode verification for bootclasspath

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2005-05-25 15:16 -------
We now have -verify and -noverify flags.
However, we still verify classes found on the bootclasspath.
I've changed this PR's synopsis to reflect this.

One question is whether we care about the bootclasspath feature.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Need flag to disable        |disable bytecode
                   |bytecode verification       |verification for
                   |                            |bootclasspath


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14781