asm_fast.gc.profdeep.stseg

Bootcheck terminated with exit status 1 (log)

/usr/include/x86_64-linux-gnu/bits/string_fortified.h:136:10: warning: ‘__builtin___strncat_chk’ specified bound 1024 equals destination size [-Wstringop-overflow=]
/usr/include/x86_64-linux-gnu/bits/string_fortified.h:136:10: warning: ‘__builtin___strncat_chk’ specified bound 1024 equals destination size [-Wstringop-overflow=]
/usr/include/x86_64-linux-gnu/bits/string_fortified.h:136:10: warning: ‘__builtin___strncat_chk’ specified bound 1024 equals destination size [-Wstringop-overflow=]
/usr/include/x86_64-linux-gnu/bits/string_fortified.h:136:10: warning: ‘__builtin___strncat_chk’ specified bound 1024 equals destination size [-Wstringop-overflow=]
FAILED TEST term/pragma_non_term in grade asm_fast.gc.profdeep.stseg
FAILED TEST term/queens in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/abstract_instance in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/abstract_typeclass in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/arbitrary_constraint_class in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/arbitrary_constraint_pred_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/arbitrary_constraint_pred_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/complicated_constraint in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/complicated_fundeps in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/constrained_lambda in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/exist_disjunction in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/existential_data_types_regr_test in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/existential_data_types in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/existential_type_classes in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/extra_typeinfo in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/existential_type_switch in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/extract_typeinfo in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/extract_typeinfo2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/func_default_mode_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_3 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_4 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_5 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_7 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/fundeps_6 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/ground_constraint_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/ho_map in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/ground_constraint_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/implied_instance in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/implied_instance_missing_constraint in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/implied_instance_multi_constraint in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/implied_instance_poly in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/inference_test_1 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST typeclasses/inference_test_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/instance_unconstrained_tvar in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/instance_clauses in grade asm_fast.gc.profdeep.stseg
collect2: error: ld returned 1 exit status
FAILED TEST typeclasses/instance_unconstrained_tvar_type_spec in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST typeclasses/intermod_typeclass_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/mode_decl_order_bug in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST typeclasses/module_test in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/multi_constraint_same_tvar in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/multi_constraint_diff_tvar in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/multi_moded in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/multi_parameter in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/multi_parameter_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/no_fundep_infer in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/nondet_class_method in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/operator_classname in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/record_syntax in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/reordered_existential_constraint in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/submodule_consistency in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/superclass_bug_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/superclass_bug_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/superclass_bug_3 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/superclass_call in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/test_default_func_mode in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/tuple_instance in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/type_spec in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_exist_method_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_order_bug_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_exist_method_2 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST typeclasses/typeclass_order_bug_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_order_bug_3 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_test_5 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/typeclass_test_6 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/unbound_tvar in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/existential_rtti in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/recursive_instance_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST typeclasses/unqualified_method in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/agc_ite in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/agc_unbound_typevars_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug190 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug180 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug271 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug300 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug301 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug318 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug380 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug361 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug402 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug414 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug483 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/bug485 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/bug539 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/complex_constraint in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/constructor_arg_names in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/dead_get_io_state in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/empty_switch in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/exists_cast_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/followcode_det_problem in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/foreign_underscore_var in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/func_default_modes in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/func_in_head in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/headvar_not_found in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/higher_order_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/higher_order_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/ho_and_type_spec_bug2 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/ho_any_inst in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/instance_superclass in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/lambda_quant_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/lambda_recompute in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/lambda_struct_bug in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/lambda_type in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/livevars_shallow_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/mc_extra_nonlocals in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/mert in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/record_syntax_bug_3 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/record_syntax_bug_4 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/require_tailrec_1 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/require_tailrec_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/required_var in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/reuse_static_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/reuse_static_1 in grade asm_fast.gc.profdeep.stseg
make[3]: write error: stdout
FAILED TEST valid/semi_fail_in_non_ite in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/sharing_loop_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/simplify_bug_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/solver_type_bug_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/some_singleton in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/spurious_purity_warning in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/state_var_mode_bug_1 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/static in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/superclass_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/switch_detection_bug_2 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/switches in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid/typeclass_constraint_no_var in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/bug563 in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/call_impure_in_opt in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/field_access_funcs in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/mode_from_int0_opt in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/nested_module_ambiguity in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/parsing_bug in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/read_submod_opt in grade asm_fast.gc.profdeep.stseg
FAILED TEST valid_seq/typeclass_exist_opt in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/ambiguous_overloading in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/abstract_type_decl in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/arg_order_rearrangment in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/bug311 in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/duplicate_call in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/duplicate_const in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/inconsistent_pred_order in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/inf_recursion_lambda in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/non_stratification in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/inst_with_no_type in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/occurs in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/pragma_source_file in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/unknown_warning in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/unneeded_mode_specific_clause in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/unsigned_zero_cmp in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/unused_args_test in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/warn_non_contiguous in grade asm_fast.gc.profdeep.stseg
FAILED TEST warnings/warn_non_contiguous_foreign in grade asm_fast.gc.profdeep.stseg
ERROR EXIT: some tests failed

Duration: 2.51 hours