2009-04-15 Rodrigo Kumpera <rkumpera@novell.com>
authorRodrigo Kumpera <kumpera@gmail.com>
Thu, 16 Apr 2009 01:38:53 +0000 (01:38 -0000)
committerRodrigo Kumpera <kumpera@gmail.com>
Thu, 16 Apr 2009 01:38:53 +0000 (01:38 -0000)
* cli-tables-tests.md: More tests for the typedef table.

svn path=/trunk/mono/; revision=131850

mono/tests/metadata-verifier/Changelog
mono/tests/metadata-verifier/cli-tables-tests.md

index 3a5df4dfb1913d54c7036829549c27b5f1c0e6b8..fc0a2e0d7695f5835b52bf9280c4790decf3099e 100644 (file)
@@ -1,3 +1,7 @@
+2009-04-15 Rodrigo Kumpera  <rkumpera@novell.com>
+
+       * cli-tables-tests.md: More tests for the typedef table.
+
 2009-04-15 Rodrigo Kumpera  <rkumpera@novell.com>
 
        * gen-md-tests.c: Add the or-uint effect.
index 9789b87d0c7668da31d9bcad7c7b97d9b1e8f2e6..da9b7602b5abe04605e07c349dc809425f323706 100644 (file)
@@ -13,6 +13,7 @@ tables-header {
        invalid offset stream-header ( 0 ) + 4 set-uint 23
 
        #heap sizes
+       #LAMEIMPL MS ignore garbage on the upper bits.
        invalid offset tables-header + 6 set-byte 0x8
        invalid offset tables-header + 6 set-byte 0x10
        invalid offset tables-header + 6 set-byte 0xF
@@ -59,7 +60,8 @@ module-table {
 
        #generation
        valid offset table-row ( 0 0 ) set-ushort 0
-       invalid offset table-row ( 0 0 ) set-ushort 9999
+       #FALESPEC this field is ignored
+       valid offset table-row ( 0 0 ) set-ushort 9999
 
        #rows
        valid offset tables-header + 24 set-uint 1
@@ -136,5 +138,15 @@ typedef-table {
        invalid offset table-row ( 2 1 ) set-bit 30
        invalid offset table-row ( 2 1 ) set-bit 31
 
+       #invalid class layout
+       invalid offset table-row ( 2 1 ) or-uint 0x18
+
+       #invalid StringFormatMask - mono doesn't support CustomFormatMask
+       invalid offset table-row ( 2 1 ) or-uint 0x30000
+
+       #CustomStringFormatMask must be zero
+       invalid offset table-row ( 2 1 ) or-uint 0xC00000
+
+       #We ignore all validation requited by HasSecurity
 }