------- Additional Comments From tromey at gcc dot gnu dot org 2004-10-28 17:14 ------- FYI, not verifying in the compiler is somewhat tricky since the compiler relies on the verifier to create type maps it uses later on. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15735