mono/tests/verifier/make_ldelema_test.sh

   1 #! /bin/sh
   2
   3 TEST_NAME=$1
   4 TEST_VALIDITY=$2
   5 TEST_ARR=$3
   6 TEST_IDX=$4
   7 TEST_TOKEN=$5
   8
   9
  10 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  11 TEST_FILE=${TEST_NAME}_generated.il
  12 echo $TEST_FILE
  13 sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/ARR/${TEST_ARR}/g" -e "s/IDX/${TEST_IDX}/g" -e "s/TOKEN/${TEST_TOKEN}/g" > $TEST_FILE <<//EOF
  14
  15 // VALIDITY CIL which breaks the ECMA-335 rules.
  16 // this CIL should fail verification by a conforming CLI verifier.
  17
  18 .assembly '${TEST_NAME}_generated'
  19 {
  20   .hash algorithm 0x00008004
  21   .ver  0:0:0:0
  22 }
  23
  24 .class ClassA extends [mscorlib]System.Object
  25 {
  26 }
  27
  28 .class ClassSubA extends ClassA
  29 {
  30 }
  31
  32
  33 .method public static void foo() cil managed
  34 {
  35         .maxstack 2
  36         ldc.i4.1
  37         ARR
  38         IDX
  39         ldelema TOKEN // VALIDITY.
  40         pop
  41         ret
  42 }
  43
  44 .method public static int32 Main() cil managed
  45 {
  46         .maxstack 8
  47         .entrypoint
  48         .try {
  49                 call void foo ()
  50                 leave END
  51         } catch [mscorlib]System.NullReferenceException {
  52                 pop
  53                 leave END
  54
  55         }
  56
  57 END:    ldc.i4.0
  58         ret
  59 }
  60 //EOF