This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: patch to java/verify.c


>>>>> "Per" == Per Bothner <per@bothner.com> writes:

Per> XQuery has 'for' loops that are similar to SQL's 'select'.
Per> I compile the body of the 'for' loop into a jsr/ret subroutine.

Would you mind sending me one of these .class files?
Anything correct will do; I just want to load it into gij to see what
that verifier does.

Per> 	* verify.c (subroutine_nesting):  New function.
Per> 	(verify_jvm_instructions):  Use it to fix logic for checking that
Per> 	we're done with the current subroutine.
Per> 	* verify.c (verify_jvm_instruction): For OPCODE_checkcast and
Per> 	OPCODE_instanceof use POP_TYPE macro for better diagnostics.

If you're still interested in this problem there was a recent bug
report to the -patches list about verification and `jsr'.  There is
also a PR on the subject which shows both a verifier problem and a
bytecode generation bug.

Tom


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