mono/tests/verifier/make_invalid_ret_type.sh

   1 #! /bin/sh
   2
   3 SED="sed"
   4 if [ `which gsed 2> /dev/null` ] ; then
   5         SED="gsed"
   6 fi
   7
   8 TEST_NAME=$1
   9 TEST_VALIDITY=$2
  10 TEST_TYPE=$3
  11
  12
  13 TEST_FILE=${TEST_VALIDITY}_${TEST_NAME}_generated.il
  14 echo $TEST_FILE
  15
  16
  17 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE/${TEST_TYPE}/g" > $TEST_FILE <<//EOF
  18
  19 // VALIDITY CIL which breaks the ECMA-335 rules.
  20 // this CIL should fail verification by a conforming CLI verifier.
  21
  22 .assembly '${TEST_NAME}_generated'
  23 {
  24   .hash algorithm 0x00008004
  25   .ver  0:0:0:0
  26 }
  27
  28 .class public auto ansi beforefieldinit Driver extends [mscorlib]System.Object
  29 {
  30         .method public static  hidebysig default TYPE Foo ()  cil managed
  31     {
  32                 .maxstack 8
  33                 .locals init (TYPE V_0)
  34                 ldloc.0
  35                 ret
  36         }
  37
  38         .method public static  hidebysig default int32 Main ()  cil managed
  39         {
  40                 .entrypoint
  41                 .maxstack 2
  42                 .locals init ()
  43                 call TYPE class Driver::Foo()
  44                 pop
  45                 ldc.i4.0
  46                 ret
  47         }
  48 }
  49
  50 //EOF