2008-02-18 Rodrigo Kumpera <[email protected]>

	* unverifiable_locals_without_initlocals.il: Methods with locals
	that are not .init are allways unverifiable.


svn path=/trunk/mono/; revision=96103

mono/tests/verifier/ChangeLog

@@ -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.

mono/tests/verifier/unverifiable_locals_without_initlocals.il

@@ -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
+}