X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=mono%2Ftests%2Fverifier%2FChangeLog;h=c14c1f59cf745f2764ea93d200abaf364f57393c;hb=e86bdbb9a5657bb7601157c39afaf237ffe1f65f;hp=3a54835d1564769cbb71d71443f3b1d0745ebecf;hpb=9d94ef745654af93546b585ab66b3f2638defdcb;p=mono.git diff --git a/mono/tests/verifier/ChangeLog b/mono/tests/verifier/ChangeLog index 3a54835d156..c14c1f59cf7 100644 --- a/mono/tests/verifier/ChangeLog +++ b/mono/tests/verifier/ChangeLog @@ -1,3 +1,413 @@ +2008-04-23 Rodrigo Kumpera + + * make_tests.sh: Add some tests for overlapping + aligned reference fields. + + * Makefile: Added new test prefix typeunverifiable. + It should be used for tests that type fails to load + only under verifiable. + +2008-04-15 Rodrigo Kumpera + + * make_boxed_genarg_test.sh: New test generator + for boxed generic arguments. + + * make_test.sh: Added tests using the new generator + for the interaction between boxed generic arguments + and its constraint types. + +2008-04-10 Rodrigo Kumpera + + * AssemblyRunner.cs: If a VerificationException + happens while running under fulltrust, it means + that the code is invalid. + + * make_method_constraint_test.sh: Test generator for + generic methods argument constraints. + + * make_test.sh: Added tests for invalid opcodes + using the new generator. + + * invalid_generic_method_and_type.il: New test + for generic constraints. + +2008-04-10 Rodrigo Kumpera + + * make_bad_op_test.sh: Test generator for + invalid opcodes. + + * make_test.sh: Added tests for invalid opcodes + using the new generator. + +2008-04-08 Rodrigo Kumpera + + * make_overlapped_test.sh: Test generator for + overlapped fields. + + * make_test.sh: Added tests for overlapped + fields using the new generator. + +2008-04-07 Rodrigo Kumpera + + * make_unary_test.sh: Clear the stack before ret. + + * make_test.sh: Added tests for ckfinite. + +2008-04-04 Rodrigo Kumpera + + * make_tail_call_test.sh: New test generator for + tail prefix. + + * make_test.sh: Added tests using the new generator. + +2008-04-04 Rodrigo Kumpera + + * invalid_branch_middle_of_instruction.il: Recent + work on prefixes broke the verification for branching + in the middle of an instruction. + +2008-04-02 Rodrigo Kumpera + + * make_prefix_test.sh: New test generator for + instruction prefix. + + * make_test.sh: Added tests using the new generator. + +2008-04-02 Rodrigo Kumpera + + * make_type_constraint_test.sh: New test generator for + constraints on generic type arguments. + + * make_testS: Added tests using the new generator. + +2008-03-31 Rodrigo Kumpera + + * AssemblyRunner.cs: Mark TypeLoadException as invalid code. + +2008-03-25 Rodrigo Kumpera + + * valid_branch_to_first_prefix.il: Test branching to the first prefix + of an instruction. + +2008-03-24 Rodrigo Kumpera + + * make_cmmp_test.sh: Test generator for readonly pointers. + + * make_test.sh: New tests using the added generator. + +2008-03-17 Rodrigo Kumpera + + * make_constrained_test.sh: Test generator for constrained calls. + + * make_test.sh: New tests using the added generator. + +2008-03-12 Rodrigo Kumpera + + * valid_generic_test.cs: Tests for generic classes. + + * unverifiable_generic_type_field_access.il: Tests for + not mixing generic arguments. + + * valid_generic_test.cs: Add tests for generic + class and method together. + +2008-03-12 Rodrigo Kumpera + + * strict_native_int_converts_to_unamanged_pointer.cs: Allow + conversion from native int to unmanaged pointer in non-strict mode. + This is required to allow the C# expression "(IntPtr)null" to be + verifiable. + +2008-03-12 Rodrigo Kumpera + + * valid_ldftn_final_virtual_method.il: + * valid_ldftn_sealed_type_virtual_method.il: Tests the interaction + of sealed type and final method or ldftn verifiability. + +2008-03-11 Rodrigo Kumpera + + * make_delegate_compat_test.sh: Added. Generate tests for + compatibility between delegate signature and function + signature. + + * make_tests.sh: Added tests using make_delegate_compat_test.sh. + +2008-03-10 Rodrigo Kumpera + + * make_invalid_ret_type.sh: Added. Generate return site tests + for invalid return types. + + * make_tests.sh: Add tests using make_invalid_ret_type.sh. + +2008-03-10 Rodrigo Kumpera + + * unverifiable_callvirt_static_method.il: Added. Test for callvirt and + static methods. + +2008-02-28 Rodrigo Kumpera + + * invalid_refanytype_null_stack_top.il: New test for refanytype opcode. + + * invalid_refanytype_invalid_stack_top.il: Same. + + * valid_refanytype.il: Same. + +2008-02-28 Rodrigo Kumpera + + * make_mkrefany.il: New test generator for mkrefany opcode. + + * make_tests.sh: Added tests for mkrefany. + +2008-02-27 Rodrigo Kumpera + + * valid_vararg.il: New test for calling vararg methods. + +2008-02-27 Rodrigo Kumpera + + * valid_refanyval.il: New test for the refanyval opcode. + + * invalid_refanyval_null_stack_top.il: Same. + + * invalid_refanyval_invalid_stack_top.il: Same. + +2008-02-27 Rodrigo Kumpera + + * valid_arglist.il: New test for the arglist opcode. + + * invalid_arglist_method_not_vararg.il: Same. + +2008-02-18 Rodrigo Kumpera + + * unverifiable_locals_without_initlocals.il: Methods with locals + that are not .init are allways unverifiable. + +2008-02-08 Rodrigo Kumpera + + * unverifiable_void_ptr_store_2.cs: Tests for using unmanaged pointers. + This test looks for void pointers. + + * unverifiable_void_ptr_store_3.cs: Same. + + * unverifiable_void_ptr_store.cs: Same. + + * valid_merge_boxed_type_3.cs: Test merging a reference type diferent than + System.Object and a boxed valuetype. This is hopefully the last issue of + merging stack frames. + + * Makefile: compile .cs files with /unsafe switch. + +2008-02-06 Rodrigo Kumpera + + * valid_boxed_enum_is_compatible_with_system_enum.cs: Added. + Test if an enum is compatible with System.Enum. + + * valid_merge_boxed_type.cs: Added. Test merging + a boxed int32 with a reference type. + + * valid_merge_boxed_type_2.cs: Same. + + * make_ldelem_test.sh: Added some enums to be used by the tests. + + * make_tests.sh: New tests for ldelem compatibility between enums + and their base type. Marked some tests as strict. + +2008-02-06 Rodrigo Kumpera + + * valid_merge_base_type.cs + * valid_merge_first_value_is_base_type.cs: + * valid_merge_interface_type_3.cs: + * valid_merge_interface_type_4.cs: + * valid_merge_interface_type.cs: + * valid_merge_second_value_is_base_type.cs: New tests for stack merging. + These tests verify the correctness of the merged value. + +2008-01-30 Rodrigo Kumpera + + * make_tests.sh: More tests for brtrue/brfalse with boxed values + and null literals. + + * make_bool_branch_test.sh: New optional arg to allow for new tests. + +2008-01-30 Rodrigo Kumpera + + * make_tests.sh: Removed some invalid tests for nesting access + as they where trying to call non final virtual methods without using + the 'this' pointer. + +2008-01-23 Rodrigo Kumpera + + * make_call_test.sh: test generator for call and callvirt. + + * make_tests.sh: added tests for call and callvirt. + +2008-01-21 Rodrigo Kumpera + + * invalid_ldstr_bad_token.il: added. check the index + against the the #US heap. + +2008-01-21 Rodrigo Kumpera + + * unverifiable_newobj_no_visibility.il: added. visibility + check for newobj. + +2008-01-21 Rodrigo Kumpera + + * unverifiable_ldftn_no_visibility.il: added. visibility + check for ldftn. + + * unverifiable_ldvirtftn_no_visibility.il: added. visibility + check for ldvirtftn. + +2008-01-18 Rodrigo Kumpera + + * make_tests.sh: added tests for ovf math with floats. + +2008-01-17 Rodrigo Kumpera + + * make_localloc_test.sh: test generator for localloc. + + * make_tests.sh: added tests for localloc. + +2008-01-17 Rodrigo Kumpera + + * make_sizeof_test.sh: test generator for sizeof. + + * make_tests.sh: added tests for sizeof. + +2008-01-17 Rodrigo Kumpera + + * make_cp_test.sh: test generator for cpobj. + + * make_tests.sh: added tests for cpobj. + +2008-01-17 Rodrigo Kumpera + + * invalid_initobj_invalid_token_out_of_bounds.il: tests for initobj. + + * invalid_initobj_invalid_token_type.il: same. + + * make_initobj_test.sh: test generator for initobj. + + * make_tests.sh: added tests for initobj. + +2008-01-11 Rodrigo Kumpera + + * unverifiable_ldfld_reference_type_by_ref.il: new test for ldfld. + + * invalid_stojb_bad_token.il: test for bad ldobj token. + + * invalid_stojb_token_out_of_bounds.il: same. + + * make_stobj_test.sh: new test generator. + + * make_test.sh: added new tests for stobj. + +2008-01-10 Rodrigo Kumpera + + * valid_ldftn_method_spec_token.il: new test + for loading function pointers for generic methods. + +2008-01-09 Rodrigo Kumpera + + * make_test.sh: added tests for unbox.any. + + * make_unbox_any_test.sh: new test generator. + +2008-01-09 Rodrigo Kumpera + + * make_test.sh: added tests for add|sub|mul ovf; + + * unverifiable_unbox_toke_is_reference_type.il: New test for regressions + found while validating vbnc. + + * valid_stind_ref_with_boxed_value.il: same. + * valid_ldelema_enum_array.il: same. + +2008-01-09 Rodrigo Kumpera + + * valid_isinst_with_boxed_valuetype.il: New test for regressions + found while validating vbnc. + + * valid_ldfld_valuetype_by_ref.il: same. + * valid_ldfld_valuetype_by_value.il: same. + * valid_stelem_ref_boxed_value.il: same. + * valid_stloc_boxed_valuetype.il: same. + * valid_sub_class_of_generic_type_is_compatible.il: same. + * unverifiable_ldfld_valuetype_boxed.il: same. + * unverifiable_ldfld_reference_type_by_ref.il: same. + + * make_test.sh: new tests for stfld and cgt.un. + + +2008-01-08 Rodrigo Kumpera + + * make_delegate_test.sh: increased max stack for + ldvirtftn tests. + + * make_tests.sh: added new tests for delegates + constructed with ldvirtftn. + +2008-01-07 Rodrigo Kumpera + + * make_delegate_test.sh: added. + + * make_tests.sh: added new tests for delegates + constructed with ldftn. + +2008-01-03 Rodrigo Kumpera + + * invalid_ldvirtftn_invalid_token_type.il: added. + + * make_ldvirtftn_test.sh: added. + + * invalid_ldvirtftn_invalid_token_out_of_bounds.il: added. + + * make_ldftn_test.sh: changed to allow more tests. + + * make_tests.sh: added new tests for ldvirtftn and + a buch more for ldftn. + +2007-12-31 Rodrigo Kumpera + + * invalid_ldftn_invalid_token_out_of_bounds.il: added. + + * invalid_ldftn_invalid_token_type.il: added. + + * make_ldftn_test.sh: added. + + * make_test.sh: new tests for ldftn. + + * AssemblyRunner.cs: added BadImageFormatException + to the list of invalid code errors. Removed + some dead code and an useless message. + + +2007-12-27 Rodrigo Kumpera + + * invalid_non_empty_stack_at_try_begin.il: added. + + * valid_branch_to_first_intruction_of_try.il: added. + + +2007-12-27 Rodrigo Kumpera + + * make_exception_overlap_test.sh: new test generator. + + * make_tests.sh: new tests for exception clause restrictions + enumerated in P1 12.4.2.7. + + * invalid_catch_block_starts_after_prefix.il: new test + for a catch block that starts in the middle of an instruction. + +2007-12-24 Rodrigo Kumpera + + * make_switch_test.sh: new test generator. + + * make_exception_branch_test.sh: the filter + handler did not pop the exception argument. + + * make_tests.sh: add tests for switch. + 2007-12-21 Rodrigo Kumpera * make_branch_test.sh: new test generator.