mono/tests/verifier/make_overlapped_test.sh

   1 #! /bin/sh
   2
   3 TEST_NAME=$1
   4 TEST_VALIDITY=$2
   5 TEST_POS_0=$3
   6 TEST_POS_1=$4
   7 TEST_POS_2=$5
   8 TEST_TYPE_0=$6
   9
  10 if [ "$TEST_TYPE_0" == "" ] ; then
  11         TEST_TYPE_0="int32";
  12 fi
  13
  14 TEST_FILE=`echo ${TEST_VALIDITY}_${TEST_NAME} | sed -e 's/ /_/g' -e 's/\./_/g' -e 's/&/mp/g' -e 's/\[/_/g' -e 's/\]/_/g'`_generated.il
  15 echo $TEST_FILE
  16 TEST_TYPE1=`echo $TEST_TYPE1 | sed -s 's/&/\\\&/'`
  17 sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE_0/${TEST_TYPE_0}/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 explicit sealed Overlapped extends [mscorlib]System.ValueType
  29 {
  30     .field [${TEST_POS_0}] public TYPE_0 intVal
  31     .field [${TEST_POS_1}] public object objVal
  32         .field [${TEST_POS_2}] public int32 intVal2
  33
  34         .method public hidebysig  specialname  rtspecialname instance default void '.ctor' ()  cil managed
  35         {
  36                 .maxstack 8
  37                 ret
  38     }
  39 }
  40
  41 .method public static int32 Main() cil managed
  42 {
  43         .entrypoint
  44         .maxstack 2
  45         .locals init (Overlapped val)
  46         ldloca 0
  47         initobj Overlapped
  48
  49         leave branch_target
  50 branch_target:
  51         ldc.i4.0
  52         ret
  53 }
  54 //EOF