[Mono-bugs] [Bug 663815] New: Verifier unable to verify seemingly legit code

[bugzilla_noreply at novell.com]

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

https://bugzilla.novell.com/show_bug.cgi?id=663815#c0


           Summary: Verifier unable to verify seemingly legit code
    Classification: Mono
           Product: Mono: Runtime
           Version: 1.2.0
          Platform: x86
        OS/Version: Mac OS X 10.6
            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 (Windows; U; Windows NT 6.1; en-US)
AppleWebKit/534.10 (KHTML, like Gecko) Chrome/8.0.552.224 Safari/534.10

On mono2.8.2 & mono2.6.7, the following small c# program does not correctly
pass mono's verifier:

using System.Collections.Generic;
using System.Collections.ObjectModel;

public struct Rect
{
}

public class QuadTree<T> 
{
    public class QuadNode
    {
        private QuadNode[] _nodes = new QuadNode[4];

        public ReadOnlyCollection<QuadNode> Nodes;

        internal List<T> quadObjects = new List<T>();
        public ReadOnlyCollection<T> Objects;

        public Rect Bounds { get; internal set; }

        public QuadNode(Rect bounds)
        {
            Bounds = bounds;
            Nodes = new ReadOnlyCollection<QuadNode>(_nodes);
            Objects = new ReadOnlyCollection<T>(quadObjects);
        }

    }
}

Reproducible: Always

Steps to Reproduce:
compile the program
run pedump --verify all

get this error:
In method: QuadTree`1/QuadNode::.ctor(Rect)
Not Verifiable: Incompatible parameter value with constructor signature:
System.Collections.Generic.IList`1<QuadTree`1/QuadNode<T>> X
QuadTree`1/QuadNode[] (Complex) at 0x002b
Actual Results:  
Not Verifiable: Incompatible parameter value with constructor signature:
System.Collections.Generic.IList`1<QuadTree`1/QuadNode<T>> X
QuadTree`1/QuadNode[] (Complex) at 0x002b

Expected Results:  
verifying just fine

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