Merge pull request #5714 from alexischr/update_bockbuild
[mono.git] / mono / tests / verifier /
drwxr-xr-x   ..
-rw-r--r-- 380 .gitattributes
-rw-r--r-- 78 .gitignore
-rwxr-xr-x 74 AUTHORS
-rw-r--r-- 9197 AssemblyRunner.cs
-rw-r--r-- 1351 BatchCompiler.cs
-rw-r--r-- 3149 Makefile
-rwxr-xr-x 1283 README
-rw-r--r-- 1480 TestRunner.cs
-rw-r--r-- 1228 badmd_constraint_must_be_visible.il
-rw-r--r-- 2255 badmd_ginst_using_gtd.il
-rw-r--r-- 1664 badmd_invalid_recursive_constraint.il
-rw-r--r-- 2092 badmd_type_extends_gtd.il
-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
-rwxr-xr-x 7447 invalid_bad_catch_clause_type.il
-rw-r--r-- 1430 invalid_bad_merge_with_leave.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-- 780 invalid_broken_method_inst.il
-rw-r--r-- 780 invalid_broken_type_inst.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-- 2258 invalid_cgt_un_valuetype_and_null.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-- 2486 invalid_generic_constraints_with_loop.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
-rw-r--r-- 1416 invalid_il_cannot_reference_literal_field.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-- 836 invalid_return_value_invalid_in_context.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 1939 make_access_test.sh
-rwxr-xr-x 849 make_bad_op_test.sh
-rwxr-xr-x 1047 make_bin_test.sh
-rwxr-xr-x 1256 make_bool_branch_test.sh
-rwxr-xr-x 3225 make_boxed_genarg_test.sh
-rwxr-xr-x 1756 make_branch_test.sh
-rwxr-xr-x 3837 make_call_test.sh
-rwxr-xr-x 1633 make_cast_test.sh
-rwxr-xr-x 2106 make_cmmp_test.sh
-rwxr-xr-x 3486 make_constrained_test.sh
-rwxr-xr-x 2055 make_cpobj_test.sh
-rwxr-xr-x 2526 make_cross_nested_access_test.sh
-rwxr-xr-x 2465 make_ctor_test.sh
-rwxr-xr-x 3423 make_delegate_compat_test.sh
-rwxr-xr-x 5098 make_delegate_test.sh
-rwxr-xr-x 3527 make_double_nesting_test.sh
-rwxr-xr-x 1334 make_endfilter_test.sh
-rwxr-xr-x 1295 make_endfinally_test.sh
-rwxr-xr-x 1294 make_exception_branch_test.sh
-rwxr-xr-x 2024 make_exception_overlap_test.sh
-rwxr-xr-x 3036 make_field_store_test.sh
-rwxr-xr-x 991 make_field_valuetype_test.sh
-rwxr-xr-x 2229 make_generic_argument_constraints_test.sh
-rwxr-xr-x 1265 make_il_overflow_test.sh
-rwxr-xr-x 1670 make_initobj_test.sh
-rwxr-xr-x 891 make_invalid_ret_type.sh
-rwxr-xr-x 2501 make_ldelem_test.sh
-rwxr-xr-x 1018 make_ldelema_test.sh
-rwxr-xr-x 1414 make_ldftn_test.sh
-rwxr-xr-x 722 make_ldlen_test.sh
-rwxr-xr-x 1622 make_ldobj_test.sh
-rwxr-xr-x 966 make_ldtoken_test.sh
-rwxr-xr-x 1624 make_ldvirtftn_test.sh
-rwxr-xr-x 1386 make_leave_test.sh
-rwxr-xr-x 902 make_load_indirect_test.sh
-rwxr-xr-x 1044 make_load_test.sh
-rwxr-xr-x 1788 make_localloc_test.sh
-rwxr-xr-x 3731 make_method_constraint_test.sh
-rwxr-xr-x 1385 make_mkrefany.sh
-rwxr-xr-x 2309 make_nested_access_test.sh
-rwxr-xr-x 955 make_newarr_test.sh
-rwxr-xr-x 2357 make_newobj_test.sh
-rwxr-xr-x 1852 make_obj_store_test.sh
-rwxr-xr-x 1271 make_overlapped_test.sh
-rwxr-xr-x 1918 make_prefix_test.sh
-rwxr-xr-x 2369 make_ret_test.sh
-rwxr-xr-x 1251 make_rethrow_test.sh
-rwxr-xr-x 1693 make_self_nested_test.sh
-rwxr-xr-x 981 make_sizeof_test.sh
-rwxr-xr-x 784 make_stack_0_pop_test.sh
-rwxr-xr-x 825 make_stack_0_test.sh
-rwxr-xr-x 854 make_stack_1_pop_test.sh
-rwxr-xr-x 1540 make_stack_merge_test.sh
-rwxr-xr-x 1686 make_stelem_test.sh
-rwxr-xr-x 1754 make_stobj_test.sh
-rwxr-xr-x 1065 make_store_indirect_test.sh
-rwxr-xr-x 1465 make_store_test.sh
-rwxr-xr-x 2105 make_switch_test.sh
-rwxr-xr-x 2337 make_tail_call_test.sh
-rwxr-xr-x 275301 make_tests.sh
-rwxr-xr-x 1530 make_throw_test.sh
-rwxr-xr-x 3758 make_type_constraint_test.sh
-rwxr-xr-x 1824 make_type_visibility_test.sh
-rwxr-xr-x 1560 make_unary_test.sh
-rwxr-xr-x 1753 make_unbox_any_test.sh
-rwxr-xr-x 1725 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-- 1723 unverifiable_castclass_to_gtd.il
-rw-r--r-- 550 unverifiable_ceq_with_generic_argument.il
-rw-r--r-- 653 unverifiable_ceq_with_valuetype.il
-rw-r--r-- 2264 unverifiable_cmmp_local_store.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-- 1024 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-- 4106 unverifiable_ginst_dont_reduce_to_gparam_with_constraint.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-- 3184 unverifiable_merge_concrete_types_with_shared_iface.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-- 945 unverifiable_ref_return_stack_merge.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-- 496 valid_call_to_virtual_method_on_sealed_class.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-- 418 valid_deep_nested_type_visibility.cs
-rw-r--r-- 253 valid_delegate_return_variant_iface.cs
-rw-r--r-- 511 valid_delegate_signature_with_generics.cs
-rw-r--r-- 2482 valid_dependent_generic_constraint_and_boxing.il
-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-- 431 valid_generic_arg_satisty_constraint_compat_check.cs
-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-- 3075 valid_merge_boxed_values.il
-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-- 718 valid_mvar_is_transitive_compatibility.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-- 1151 valid_ref_return.cs
-rw-r--r-- 680 valid_ref_return_stack_merge.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-- 672 valid_stind_ref_with_boxed_value.il
-rw-r--r-- 386 valid_stloc_boxed_valuetype.il
-rw-r--r-- 625 valid_store_of_uint_to_int_array.il
-rw-r--r-- 987 valid_sub_class_of_generic_type_is_compatible.il
-rw-r--r-- 522 valid_switch_with_value_on_stack.il
-rw-r--r-- 362 valid_transitive_constraints.cs
-rw-r--r-- 731 valid_type_constraint_satisfy_reference_contraint.cs
-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