4 if [ `which gsed 2> /dev/null` ] ; then
11 TEST_CONSTRAINED_TYPE
=$4
17 TEST_NAME
=${TEST_VALIDITY}_
${TEST_NAME}
18 TEST_FILE
=${TEST_NAME}_generated.il
20 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/CONSTRAINED_TYPE/${TEST_CONSTRAINED_TYPE}/g" -e "s/ARG_TYPE/${TEST_ARG_TYPE}/g" -e "s/OPCODE/${TEST_OP}/g" -e "s/LOAD_OP/${TEST_LOAD_OP}/g" > $TEST_FILE <<//EOF
22 // VALIDITY CIL
which breaks the ECMA-335 rules.
23 // this CIL should fail verification by a conforming CLI verifier.
25 .assembly
'${TEST_NAME}_generated'
27 .
hash algorithm
0x00008004
31 .assembly extern mscorlib
34 .publickeytoken
= (B7
7A
5C
56 19 34 E0
89 ) // .z\V
.4..
37 .method public static void GlobalMethod1
() cil managed
42 .method public static void GlobalMethod2
(int32 a
) cil managed
47 .class ClassA extends
[mscorlib
]System.Object
49 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
53 call instance void object
::.ctor
()
57 .method public void Method1
() cil managed
62 .method public void Method2
(int32 a
) cil managed
67 .method public virtual void VirtMethod
() cil managed
73 .class ClassB extends
[mscorlib
]System.Object
75 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
79 call instance void object
::.ctor
()
85 .class ClassC extends ClassA
87 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
91 call instance void ClassA
::.ctor
()
95 .method public virtual final void VirtMethod
() cil managed
101 .class interface abstract InterfaceA
103 .method public abstract virtual instance void AbsMethod
() cil managed
108 .class ImplIfaceA extends
[mscorlib
]System.Object implements InterfaceA
110 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
114 call instance void object
::.ctor
()
118 .method public virtual instance void AbsMethod
() cil managed
124 .class sealed MyValueType extends
[mscorlib
]System.ValueType
126 .field private int32 v
128 .method public instance void Method
()
133 .method public virtual instance int32 GetHashCode
()
141 .class BaseClass extends
[mscorlib
]System.Object
143 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
147 call instance void object
::.ctor
()
152 .method public virtual void VirtMethod
()
162 .method public virtual void VirtMethod
()
167 .method public hidebysig specialname rtspecialname instance default void .ctor
() cil managed
171 call instance void object
::.ctor
()
175 .method public void MemberMain
() cil managed
178 .locals init
(ARG_TYPE V_0
)
182 constrained. CONSTRAINED_TYPE
191 .method public static void Main
() cil managed
197 newobj void Driver
::.ctor
()
198 call void Driver
::MemberMain
()
201 } catch
[mscorlib
]System.NullReferenceException
{