2010-02-19 Rodrigo Kumpera <rkumpera@novell.com>
[mono.git] / mono / tests / verifier / 
treea6da79082f0a6a32a5fe01c35b814121c95ce35b
drwxr-xr-x   ..
-rw-r--r-- 78 .gitignore
-rwxr-xr-x 74 AUTHORS
-rw-r--r-- 10170 AssemblyRunner.cs
-rw-r--r-- 2329 BatchCompiler.cs
-rwxr-xr-x 25386 COPYING.LIB
-rw-r--r-- 34589 ChangeLog
-rw-r--r-- 3080 Makefile
-rwxr-xr-x 1283 README
-rw-r--r-- 1480 TestRunner.cs
-rw-r--r-- 690 invalid_arglist_method_not_vararg.il
-rwxr-xr-x 397 invalid_argument_type.il
-rw-r--r-- 667 invalid_backward_branch.il
-rw-r--r-- 8707 invalid_bad_method_instantiation.il
-rw-r--r-- 736 invalid_branch_in_between_prefix_and_instruction.il
-rw-r--r-- 1752 invalid_branch_middle_of_instruction.il
-rw-r--r-- 403 invalid_call_empty_stack.il
-rw-r--r-- 270 invalid_call_no_method.il
-rw-r--r-- 774 invalid_catch_block_out_of_bounds.il
-rw-r--r-- 693 invalid_catch_block_starts_after_prefix.il
-rw-r--r-- 426 invalid_dup_maxstack.il
-rw-r--r-- 437 invalid_empty_catch_block.il
-rw-r--r-- 413 invalid_empty_fault_block.il
-rw-r--r-- 442 invalid_empty_filter_block.il
-rw-r--r-- 415 invalid_empty_finally_block.il
-rw-r--r-- 451 invalid_empty_handler_block.il
-rw-r--r-- 423 invalid_empty_try_block.il
-rw-r--r-- 526 invalid_exception_blocks_order.il
-rw-r--r-- 443 invalid_fallout_of_filter_block.il
-rw-r--r-- 449 invalid_fallout_of_handler_block.il
-rw-r--r-- 517 invalid_fallthru_into_filter_block.il
-rw-r--r-- 599 invalid_fallthru_into_handler_block.il
-rw-r--r-- 563 invalid_filter_ends_at_endfilter_1.il
-rw-r--r-- 652 invalid_filter_ends_at_endfilter_2.il
-rw-r--r-- 540 invalid_filter_ends_at_endfilter_3.il
-rw-r--r-- 583 invalid_finally_block_overlap_try_block.il
-rw-r--r-- 4254 invalid_funptr_double_free_regression.il
-rw-r--r-- 1702 invalid_generic_argument_violate_type_constraint.il
-rw-r--r-- 690 invalid_generic_generic_object_is_boxed.il
-rw-r--r-- 1466 invalid_generic_method_and_type.il
-rw-r--r-- 547 invalid_generic_type_with_explicit_layout.il
-rwxr-xr-x 861 invalid_initobj_invalid_token_out_of_bounds.il
-rwxr-xr-x 844 invalid_initobj_invalid_token_type.il
-rw-r--r-- 795 invalid_ldftn_invalid_token_out_of_bounds.il
-rw-r--r-- 782 invalid_ldftn_invalid_token_type.il
-rw-r--r-- 334 invalid_ldloc_no_local.il
-rw-r--r-- 492 invalid_ldsfld_no_fld.il
-rw-r--r-- 460 invalid_ldsfld_nonstatic_fld.il
-rw-r--r-- 440 invalid_ldstr_bad_token.il
-rwxr-xr-x 370 invalid_ldtoken_field.il
-rwxr-xr-x 393 invalid_ldtoken_method.il
-rwxr-xr-x 288 invalid_ldtoken_type.il
-rwxr-xr-x 287 invalid_ldtoken_type_2.il
-rwxr-xr-x 329 invalid_ldtoken_type_3.il
-rw-r--r-- 825 invalid_ldvirtftn_invalid_token_out_of_bounds.il
-rw-r--r-- 812 invalid_ldvirtftn_invalid_token_type.il
-rwxr-xr-x 392 invalid_local_variable.il
-rw-r--r-- 901 invalid_non_empty_stack_at_try_begin.il
-rw-r--r-- 774 invalid_refanytype_invalid_stack_top.il
-rw-r--r-- 772 invalid_refanytype_null_stack_top.il
-rw-r--r-- 772 invalid_refanyval_invalid_stack_top.il
-rw-r--r-- 772 invalid_refanyval_null_stack_top.il
-rw-r--r-- 1033 invalid_stojb_bad_token.il
-rw-r--r-- 1033 invalid_stojb_token_out_of_bounds.il
-rw-r--r-- 450 invalid_try_block_includes_catch_block.il
-rw-r--r-- 698 invalid_try_block_inside_filter_block.il
-rw-r--r-- 778 invalid_try_block_out_of_bounds.il
-rw-r--r-- 854 invalid_try_catch_with_zero_max_stack.il
-rwxr-xr-x 1872 make_access_test.sh
-rwxr-xr-x 779 make_bad_op_test.sh
-rwxr-xr-x 978 make_bin_test.sh
-rwxr-xr-x 1187 make_bool_branch_test.sh
-rwxr-xr-x 3155 make_boxed_genarg_test.sh
-rwxr-xr-x 1687 make_branch_test.sh
-rwxr-xr-x 3770 make_call_test.sh
-rwxr-xr-x 1565 make_cast_test.sh
-rwxr-xr-x 2040 make_cmmp_test.sh
-rwxr-xr-x 3418 make_constrained_test.sh
-rwxr-xr-x 2051 make_cpobj_test.sh
-rwxr-xr-x 2460 make_cross_nested_access_test.sh
-rwxr-xr-x 2397 make_ctor_test.sh
-rwxr-xr-x 3357 make_delegate_compat_test.sh
-rwxr-xr-x 5028 make_delegate_test.sh
-rwxr-xr-x 3462 make_double_nesting_test.sh
-rwxr-xr-x 1321 make_endfilter_test.sh
-rwxr-xr-x 1282 make_endfinally_test.sh
-rwxr-xr-x 1226 make_exception_branch_test.sh
-rwxr-xr-x 1958 make_exception_overlap_test.sh
-rwxr-xr-x 2967 make_field_store_test.sh
-rwxr-xr-x 923 make_field_valuetype_test.sh
-rwxr-xr-x 2161 make_generic_argument_constraints_test.sh
-rwxr-xr-x 1196 make_il_overflow_test.sh
-rwxr-xr-x 1604 make_initobj_test.sh
-rwxr-xr-x 823 make_invalid_ret_type.sh
-rwxr-xr-x 2433 make_ldelem_test.sh
-rwxr-xr-x 950 make_ldelema_test.sh
-rwxr-xr-x 1344 make_ldftn_test.sh
-rwxr-xr-x 654 make_ldlen_test.sh
-rwxr-xr-x 1556 make_ldobj_test.sh
-rwxr-xr-x 896 make_ldtoken_test.sh
-rwxr-xr-x 1554 make_ldvirtftn_test.sh
-rwxr-xr-x 1318 make_leave_test.sh
-rwxr-xr-x 834 make_load_indirect_test.sh
-rwxr-xr-x 974 make_load_test.sh
-rwxr-xr-x 1723 make_localloc_test.sh
-rwxr-xr-x 3663 make_method_constraint_test.sh
-rwxr-xr-x 1316 make_mkrefany.sh
-rwxr-xr-x 2241 make_nested_access_test.sh
-rwxr-xr-x 886 make_newarr_test.sh
-rwxr-xr-x 2289 make_newobj_test.sh
-rwxr-xr-x 1783 make_obj_store_test.sh
-rwxr-xr-x 1200 make_overlapped_test.sh
-rwxr-xr-x 1849 make_prefix_test.sh
-rwxr-xr-x 2299 make_ret_test.sh
-rwxr-xr-x 1183 make_rethrow_test.sh
-rwxr-xr-x 1625 make_self_nested_test.sh
-rwxr-xr-x 911 make_sizeof_test.sh
-rwxr-xr-x 715 make_stack_0_pop_test.sh
-rwxr-xr-x 756 make_stack_0_test.sh
-rwxr-xr-x 785 make_stack_1_pop_test.sh
-rwxr-xr-x 1470 make_stack_merge_test.sh
-rwxr-xr-x 1618 make_stelem_test.sh
-rwxr-xr-x 1744 make_stobj_test.sh
-rwxr-xr-x 996 make_store_indirect_test.sh
-rwxr-xr-x 1451 make_store_test.sh
-rwxr-xr-x 2036 make_switch_test.sh
-rwxr-xr-x 2267 make_tail_call_test.sh
-rwxr-xr-x 274780 make_tests.sh
-rwxr-xr-x 1462 make_throw_test.sh
-rwxr-xr-x 3690 make_type_constraint_test.sh
-rwxr-xr-x 1786 make_type_visibility_test.sh
-rwxr-xr-x 1547 make_unary_test.sh
-rwxr-xr-x 1684 make_unbox_any_test.sh
-rwxr-xr-x 1655 make_unbox_test.sh
-rw-r--r-- 334 test_lib.cs
-rw-r--r-- 1211 unverifiable_array_element_type_compatiblity.il
-rw-r--r-- 562 unverifiable_binary_compare_with_generic_argument.il
-rw-r--r-- 665 unverifiable_binary_compare_with_valuetype.il
-rw-r--r-- 532 unverifiable_boxed_type_not_compatible_with_string.il
-rw-r--r-- 530 unverifiable_boxed_type_not_compatible_with_valuetype.il
-rw-r--r-- 461 unverifiable_call_private.il
-rw-r--r-- 1336 unverifiable_callvirt_static_method.il
-rw-r--r-- 550 unverifiable_ceq_with_generic_argument.il
-rw-r--r-- 653 unverifiable_ceq_with_valuetype.il
-rw-r--r-- 2448 unverifiable_delegate_with_bad_bound_first_arg_to_static_method.il
-rw-r--r-- 429 unverifiable_fallout_of_catch_block.il
-rw-r--r-- 395 unverifiable_fallout_of_fault_block.il
-rw-r--r-- 399 unverifiable_fallout_of_finally_block.il
-rw-r--r-- 463 unverifiable_fallout_of_try_block.il
-rw-r--r-- 497 unverifiable_fallthru_into_catch_block.il
-rw-r--r-- 465 unverifiable_fallthru_into_fault_block.il
-rw-r--r-- 469 unverifiable_fallthru_into_finally_block.il
-rw-r--r-- 1118 unverifiable_generic_type_field_access.il
-rw-r--r-- 556 unverifiable_ldfld_reference_type_by_ref.il
-rw-r--r-- 567 unverifiable_ldfld_valuetype_boxed.il
-rw-r--r-- 1023 unverifiable_ldflda_other_class_field_on_cctor.il
-rw-r--r-- 920 unverifiable_ldflda_other_class_field_on_ctor.il
-rw-r--r-- 1026 unverifiable_ldflda_other_class_on_simple_method.il
-rw-r--r-- 954 unverifiable_ldflda_owner_class_on_simple_method.il
-rw-r--r-- 966 unverifiable_ldftn_no_visibility.il
-rw-r--r-- 3080 unverifiable_ldobj_with_generic_type_definition.il
-rw-r--r-- 1154 unverifiable_ldsflda_other_class_field_on_cctor.il
-rw-r--r-- 772 unverifiable_ldsflda_other_class_on_simple_method.il
-rw-r--r-- 843 unverifiable_ldsflda_owner_class_on_simple_method.il
-rw-r--r-- 1215 unverifiable_ldvirtftn_no_visibility.il
-rw-r--r-- 382 unverifiable_locals_without_initlocals.il
-rw-r--r-- 570 unverifiable_m_ptr_ldarg.il
-rw-r--r-- 632 unverifiable_m_ptr_ldloc.il
-rw-r--r-- 103 unverifiable_native_int_converts_to_unamanged_pointer.cs
-rw-r--r-- 720 unverifiable_newobj_no_visibility.il
-rw-r--r-- 540 unverifiable_ptr_ldarg.il
-rw-r--r-- 555 unverifiable_ptr_ldloc.il
-rw-r--r-- 670 unverifiable_ptr_nop.il
-rw-r--r-- 568 unverifiable_ret_with_boxed_value_on_stack.il
-rw-r--r-- 517 unverifiable_stack_2_ret.il
-rw-r--r-- 2588 unverifiable_throw_with_unboxed_generic_argument.il
-rw-r--r-- 573 unverifiable_unbox_toke_is_reference_type.il
-rw-r--r-- 182 unverifiable_void_ptr_store.cs
-rw-r--r-- 148 unverifiable_void_ptr_store_2.cs
-rw-r--r-- 178 unverifiable_void_ptr_store_3.cs
-rw-r--r-- 151 valid_access_nested_class_multidym_array.cs
-rw-r--r-- 702 valid_arglist.il
-rw-r--r-- 666 valid_array_compat_with_bonds_and_sizes.il
-rw-r--r-- 664 valid_array_compat_with_bounds.il
-rw-r--r-- 658 valid_array_compat_with_sizes.il
-rw-r--r-- 124 valid_array_method.cs
-rw-r--r-- 170 valid_boxed_enum_is_compatible_with_system_enum.cs
-rw-r--r-- 1375 valid_boxed_vt_compatible_with_sys_vt_or_sys_enum.il
-rw-r--r-- 517 valid_br_before_try_block.il
-rw-r--r-- 923 valid_branch_to_first_intruction_of_try.il
-rw-r--r-- 836 valid_branch_to_first_prefix.il
-rw-r--r-- 2088 valid_candidate_contraint_is_inflated_using_global_context.cs
-rw-r--r-- 621 valid_ceq_with_boxed_vt.il
-rw-r--r-- 1927 valid_contravariant_delegate_1.il
-rw-r--r-- 1927 valid_contravariant_delegate_2.il
-rw-r--r-- 1927 valid_convariant_delegate_1.il
-rw-r--r-- 1927 valid_convariant_delegate_2.il
-rw-r--r-- 511 valid_delegate_signature_with_generics.cs
-rw-r--r-- 506 valid_eh_block_with_no_instructions_after.il
-rw-r--r-- 421 valid_end_try_block_with_throw.il
-rw-r--r-- 1651 valid_exception_sequence.il
-rw-r--r-- 685 valid_fld_initonly.il
-rw-r--r-- 364 valid_generic_delegate_1.cs
-rw-r--r-- 478 valid_generic_delegate_2.cs
-rw-r--r-- 373 valid_generic_exception_catch_clause_type.cs
-rw-r--r-- 4939 valid_generic_inst_field_might_have_zero_size.il
-rw-r--r-- 986 valid_generic_params.cs
-rw-r--r-- 1460 valid_generic_test.cs
-rw-r--r-- 383 valid_generic_type_definition_on_boxing_position.cs
-rw-r--r-- 1032 valid_iface_constant_with_parent_implementing_it.il
-rw-r--r-- 208 valid_iface_with_variant_constraint.cs
-rw-r--r-- 4767 valid_inflated_generic_constraint_compatible.il
-rw-r--r-- 215 valid_initobj_this.cs
-rw-r--r-- 1947 valid_invariant_delegate.il
-rw-r--r-- 562 valid_isinst_box_generic_arguments.il
-rw-r--r-- 494 valid_isinst_with_boxed_valuetype.il
-rw-r--r-- 625 valid_ldelema_enum_array.il
-rw-r--r-- 558 valid_ldfld_valuetype_by_ref.il
-rw-r--r-- 557 valid_ldfld_valuetype_by_value.il
-rw-r--r-- 902 valid_ldflda_owned_field_on_cctor.il
-rw-r--r-- 2716 valid_ldfnt_delegates_of_static_methods.il
-rw-r--r-- 1986 valid_ldftn_final_virtual_method.il
-rw-r--r-- 1199 valid_ldftn_method_spec_token.il
-rw-r--r-- 1985 valid_ldftn_sealed_type_virtual_method.il
-rw-r--r-- 838 valid_ldsflda_owned_field_on_cctor.il
-rw-r--r-- 462 valid_leave_before_try_block.il
-rw-r--r-- 1517 valid_load_addr.il
-rw-r--r-- 484 valid_local_ref_ref_store.il
-rw-r--r-- 336 valid_merge_base_type.cs
-rw-r--r-- 204 valid_merge_boxed_type.cs
-rw-r--r-- 227 valid_merge_boxed_type_2.cs
-rw-r--r-- 218 valid_merge_boxed_type_3.cs
-rw-r--r-- 342 valid_merge_first_value_is_base_type.cs
-rw-r--r-- 416 valid_merge_interface_type.cs
-rw-r--r-- 674 valid_merge_interface_type_3.cs
-rw-r--r-- 674 valid_merge_interface_type_4.cs
-rw-r--r-- 342 valid_merge_second_value_is_base_type.cs
-rw-r--r-- 281 valid_nested_access_with_array_instance.cs
-rw-r--r-- 282 valid_nested_access_with_multi_array_instance.cs
-rw-r--r-- 751 valid_nested_eh_in_try_of_try_filter_block.il
-rw-r--r-- 576 valid_nested_field_access_with_generic_class.cs
-rw-r--r-- 1739 valid_nullable_store.il
-rw-r--r-- 973 valid_refanytype.il
-rw-r--r-- 843 valid_refanyval.il
-rw-r--r-- 785 valid_rethrow_doesnt_fallthrough.il
-rw-r--r-- 227 valid_stelem_ref_boxed_type.cs
-rw-r--r-- 617 valid_stelem_ref_boxed_value.il
-rw-r--r-- 662 valid_stind_ref_with_boxed_value.il
-rw-r--r-- 386 valid_stloc_boxed_valuetype.il
-rw-r--r-- 977 valid_sub_class_of_generic_type_is_compatible.il
-rw-r--r-- 540 valid_valuetype_boxed_types_are_merge_compatible.il
-rw-r--r-- 3455 valid_vararg.il
-rw-r--r-- 385 valid_visibility_across_generic_instantiations.cs