LCOV - code coverage report

Current view: top level - gcc/cp - contracts.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 90.8 % 911 827 Test Date: 2024-05-04 14:01:55 Functions: 88.5 % 87 77 Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name	Hit count
_Z20splice_out_contractsP9tree_node	0
_Z37handle_OPT_fcontract_assumption_mode_PKc	0
_ZL15role_name_equalP13contract_rolePKc	0
_ZL16remap_dummy_thisP9tree_nodePS0_	0
_ZL18emit_preconditionsP9tree_node	0
_ZL18get_concrete_checkv	0
_ZL23find_first_non_contractP9tree_node	0
_ZL24has_active_preconditionsP9tree_node	0
_ZL25has_active_postconditionsP9tree_node	0
_ZL27get_concrete_axiom_semanticv	0
_ZL11retain_declP9tree_nodeP14copy_body_data	1
_Z30handle_OPT_fcontract_semantic_PKc	3
_Z33handle_OPT_fcontract_build_level_PKc	4
_Z22inherit_base_contractsP9tree_nodeS0_	12
_Z23contract_any_deferred_pP9tree_node	20
_Z19invalidate_contractP9tree_node	23
_Z28defer_guarded_contract_matchP9tree_nodeS0_S0_	24
_Z26handle_OPT_fcontract_role_PKc	25
_Z22validate_contract_roleP13contract_role	28
_Z30all_attributes_are_contracts_pP9tree_node	30
_Z39handle_OPT_fcontract_continuation_mode_PKc	43
_ZL27emit_postconditions_cleanupP9tree_node	47
_Z27make_postcondition_variable7cp_expr	66
_Z27make_postcondition_variable7cp_exprP9tree_node	70
_Z26set_postcondition_functionP9tree_nodeS0_	75
_Z24lookup_concrete_semanticPKc	78
_Z26check_postcondition_resultP9tree_nodeS0_j	87
_Z25match_contract_conditionsjP9tree_nodejS0_25contract_matching_context	88
_ZL24emit_contract_conditionsP9tree_node9tree_code	94
_Z27setup_default_contract_roleb	96
_ZL30check_for_mismatched_contractsP9tree_nodeS0_25contract_matching_context	109
_ZL34get_postcondition_result_parameterP9tree_node	117
_Z14emit_assertionP9tree_node	155
_Z24match_deferred_contractsP9tree_node	158
_Z15remap_contractsP9tree_nodeS0_S0_b	160
_Z21map_contract_semanticPKc	191
_Z17add_contract_rolePKc17contract_semanticS1_S1_b	217
_Z20update_late_contractP9tree_nodeS0_S0_	221
_ZL16contract_valid_pP9tree_node	224
_ZL26contract_attribute_valid_pP9tree_node	224
_Z18map_contract_levelPKc	225
_ZL18emit_contract_attrP9tree_node	237
_Z25set_precondition_functionP9tree_nodeS0_	337
_ZL27build_precondition_functionP9tree_node	355
_ZL29build_contract_function_declsP9tree_node	355
_ZL28build_postcondition_functionP9tree_node	362
_ZL25remap_and_emit_conditionsP9tree_nodeS0_9tree_code	382
_ZL14build_arg_listP9tree_node	384
_ZL12copy_fn_declP9tree_node	394
_ZL33build_contract_condition_functionP9tree_nodeb	394
_ZL22get_contract_role_nameP9tree_node	676
_ZL23get_contract_level_nameP9tree_node	676
_ZL24build_contract_violationP9tree_node21contract_continuation	676
_ZL27build_contract_handler_callP9tree_node21contract_continuation	676
_ZL33declare_handle_contract_violationv	676
_ZL34get_pseudo_contract_violation_typev	676
_ZL14remap_contractP9tree_nodeS0_S0_b	732
_Z20build_contract_checkP9tree_node	734
_ZL23emit_contract_statementP9tree_node	735
_Z17get_contract_rolePKc	794
_ZL13build_comment7cp_expr	809
_Z25finish_contract_attributeP9tree_nodeS0_	821
_Z13grok_contractP9tree_nodeS0_S0_7cp_exprj	824
_ZL23contract_config_to_modeP9tree_node	824
_ZL25compute_concrete_semanticP9tree_node	824
_Z25finish_contract_condition7cp_expr	861
_ZL15role_name_equalPKcS0_	1014
_ZL19outline_contracts_pP9tree_node	1159
_Z17contract_active_pP9tree_node	1228
_ZL18remap_dummy_this_1PP9tree_nodePiPv	2458
_Z21contract_any_active_pP9tree_node	16638
_Z27maybe_update_postconditionsP9tree_node	550088
_ZL29has_active_contract_conditionP9tree_node9tree_code	550805
_Z22set_contract_functionsP9tree_nodeS0_S0_	690039
_Z26remove_contract_attributesP9tree_node	4693951
_Z24copy_contract_attributesP9tree_nodeS0_	8631181
_Z22rebuild_postconditionsP9tree_node	8631637
_Z25get_precondition_functionP9tree_node	14473750
_Z19duplicate_contractsP9tree_nodeS0_	16840028
_Z29apply_postcondition_to_returnP9tree_node	64858264
_Z26get_postcondition_functionP9tree_node	79330498
_Z25finish_function_contractsP9tree_node	130431705
_Z24start_function_contractsP9tree_node	130431745
_ZL18handle_contracts_pP9tree_node	260863450
_Z23cp_contract_assertion_pPK9tree_node	372466961
_Z24cxx_contract_attribute_pPK9tree_node	484902009
_Z29diagnose_misapplied_contractsP9tree_node	869742395

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.