[Mono-bugs] [Bug 466942] Verifier bug (missing castclass)

[bugzilla_noreply at novell.com]

https://bugzilla.novell.com/show_bug.cgi?id=466942

User rkumpera at novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=466942#c3


Rodrigo Kumpera <rkumpera at novell.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |rkumpera at novell.com
         Resolution|                            |WONTFIX




--- Comment #3 from Rodrigo Kumpera <rkumpera at novell.com>  2009-01-16 21:20:10 MST ---
--verify-all doesn't change the on-demand verification nature of the runtime,
it only enables the verifier for the gac'd assemblies and mscorlib.

Even running with --compile-all doesn't help as generic code is not handled
under this mode. It's a know limitation with no simple way to overcome.


pedump correctly detects the problem:

./metadata/pedump --verify code  gtest-054.exe
In method: Test::Simple(T)
Not Verifiable: Incompatible type [Complex], type [Complex] was expected in
local store at 0x0015

-- 
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.