Author: kumpera
Date: 2008-02-18 16:47:06 -0500 (Mon, 18 Feb 2008)
New Revision: 96103
Added:
trunk/mono/mono/tests/verifier/unverifiable_locals_without_initlocals.il
Modified:
trunk/mono/mono/tests/verifier/ChangeLog
Log:
2008-02-18 Rodrigo Kumpera <[EMAIL PROTECTED]>
* unverifiable_locals_without_initlocals.il: Methods with locals
that are not .init are allways unverifiable.
Modified: trunk/mono/mono/tests/verifier/ChangeLog
===================================================================
--- trunk/mono/mono/tests/verifier/ChangeLog 2008-02-18 20:51:54 UTC (rev
96102)
+++ trunk/mono/mono/tests/verifier/ChangeLog 2008-02-18 21:47:06 UTC (rev
96103)
@@ -1,3 +1,8 @@
+2008-02-18 Rodrigo Kumpera <[EMAIL PROTECTED]>
+
+ * unverifiable_locals_without_initlocals.il: Methods with locals
+ that are not .init are allways unverifiable.
+
2008-02-08 Rodrigo Kumpera <[EMAIL PROTECTED]>
* unverifiable_void_ptr_store_2.cs: Tests for using unmanaged pointers.
Added: trunk/mono/mono/tests/verifier/unverifiable_locals_without_initlocals.il
===================================================================
--- trunk/mono/mono/tests/verifier/unverifiable_locals_without_initlocals.il
2008-02-18 20:51:54 UTC (rev 96102)
+++ trunk/mono/mono/tests/verifier/unverifiable_locals_without_initlocals.il
2008-02-18 21:47:06 UTC (rev 96103)
@@ -0,0 +1,24 @@
+// invalid CIL which breaks the ECMA-335 rules.
+// This CIL should fail verification by a conforming CLI verifier.
+
+.assembly '_generated'
+{
+ .hash algorithm 0x00008004
+ .ver 0:0:0:0
+}
+
+.class Class extends [mscorlib]System.Object
+{
+ .field public int32 fld
+}
+
+
+.method public static int32 Main() cil managed
+{
+ .entrypoint
+ .maxstack 2
+ .locals (int32 V_0)
+
+ ldloc.0
+ ret
+}
_______________________________________________
Mono-patches maillist - Mono-patches@lists.ximian.com
http://lists.ximian.com/mailman/listinfo/mono-patches
