http://bugzilla.novell.com/show_bug.cgi?id=620362
http://bugzilla.novell.com/show_bug.cgi?id=620362#c0 Summary: Verifier incorrectly rejects this code Classification: Mono Product: Mono: Runtime Version: 2.6.x Platform: i686 OS/Version: Other Status: NEW Severity: Normal Priority: P5 - None Component: verifier AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] Found By: --- Blocker: --- User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_6_3; en-US) AppleWebKit/533.4 (KHTML, like Gecko) Chrome/5.0.375.99 Safari/533.4 Verifier says the IL generated by gmcs for this code is not verifyable: struct Test { static void Verify (out Test a, out Test b ) { a = b = new Test(); } } In method: Test::Verify(Test&,Test&) Not Verifiable: Token and source types of stobj don't match at 0x0009 Please note that if you assign a and b on seperate lines instead of in a single statement, the verifier thinks everything is fine. Reproducible: Always Steps to Reproduce: 1. 2. 3. Actual Results: verifier complaining Expected Results: verifier not complaining -- Configure bugmail: http://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug. _______________________________________________ mono-bugs maillist - [email protected] http://lists.ximian.com/mailman/listinfo/mono-bugs
