This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Note on BC and type assertions
- From: Tom Tromey <tromey at redhat dot com>
- To: GCJ Hackers <java at gcc dot gnu dot org>
- Date: 15 Oct 2004 10:20:18 -0600
- Subject: Note on BC and type assertions
- Reply-to: tromey at redhat dot com
While browsing the verifier again, I noticed that there is a dynamic
constraint that we can't represent using our current type
assertions, namely:
if (type_isarray (&t) || type_isinterface (&t) \
|| type_isabstract (&t))
verify_fail ("type is array, interface, or abstract");
We could put this check in _Jv_AllocObject (the worst option IMO), add
a new kind of verification assertion, or write a BC-only wrapper for
_Jv_AllocObject that does this check.
There may be other assertion types we need to handle as well, a pass
through the verifier looking for them is warranted.
Tom