Add a test.

[mono.git] / mono / tests / verifier / unverifiable_ldsflda_other_class_field_on_cctor.il

diff --git a/mono/tests/verifier/unverifiable_ldsflda_other_class_field_on_cctor.il b/mono/tests/verifier/unverifiable_ldsflda_other_class_field_on_cctor.il
index 8cf3bbbd67f2a40a6b512f22179a1eff13a1bf09..2570bc448630d0e0488c6adc465d1f91a3f2ed5d 100644 (file)
--- a/mono/tests/verifier/unverifiable_ldsflda_other_class_field_on_cctor.il
+++ b/mono/tests/verifier/unverifiable_ldsflda_other_class_field_on_cctor.il
@@ -22,25 +22,39 @@
 
 .class public GoodClass {
        .field static initonly valuetype MyValueType x
-
+       .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
+       {
+               .maxstack 8
+               ldarg.0 
+               call instance void object::.ctor()
+               ret
+       }
 }
 
 .class public BadClass {
-
-.method private static specialname rtspecialname default void .cctor ()
-{
-    .maxstack 8
-       ldsflda valuetype MyValueType GoodClass::x
-       pop
-       ret 
-}
-
+       .method private static specialname rtspecialname default void .cctor ()
+       {
+           .maxstack 8
+               ldsflda valuetype MyValueType GoodClass::x
+               pop
+               ret 
+       }
+
+       .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
+       {
+               .maxstack 8
+               ldarg.0 
+               call instance void object::.ctor()
+               ret
+       }
 }
 
 .method public static void Main() cil managed
 {
        .maxstack 2
        .entrypoint
+       newobj instance void BadClass::.ctor()
+       pop
        ret
 }