[Mono-bugs] [Bug 620362] New: Verifier incorrectly rejects this code

[bugzilla_noreply at novell.com]

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: rkumpera at novell.com
        ReportedBy: lucas.meijer at gmail.com
         QAContact: mono-bugs at lists.ximian.com
          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.