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: [email protected] ReportedBy: [email protected] QAContact: [email protected] 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. _______________________________________________ mono-bugs maillist - [email protected] http://lists.ximian.com/mailman/listinfo/mono-bugs
