CVSROOT: /cvs/kaffe
Module name: kaffe
Changes by: rob 03/06/29 14:07:02
Modified files:
. : ChangeLog
kaffe/kaffevm : debug.h debug.c verify.c
Log message:
This is the first of a series of small checkins that will
integrate a verifier into kaffe. This one adds most of
pass 2 verification, though without a parser for type
descriptors of method and field references from the constant
pool.
* kaffe/kaffevm/debug.h
Added VERIFY2, VERIFY3, and VERIFY debugging flags.
* kaffe/kaffevm/debug.c
Added VERIFY2, VERIFY3, and VERIFY debugging flags.
* kaffe/kaffevm/verify.c
Rewrote verify2() and added support methods that check
for errors in method static constraints.
_______________________________________________
kaffe mailing list
[EMAIL PROTECTED]
http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
