LCOV - code coverage report
Current view: top level - gcc/cp - contracts.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 91.0 % 941 856
Test Date: 2024-12-28 13:16:48 Functions: 87.9 % 91 80
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name Sort by function name Hit count Sort by function 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
_ZL19emit_postconditionsP9tree_node 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 29
_Z39handle_OPT_fcontract_continuation_mode_PKc 47
_Z27make_postcondition_variable7cp_expr 69
_ZL24emit_contract_conditionsP9tree_node9tree_code 72
_ZL26add_post_condition_fn_callP9tree_node 72
_ZL34get_postcondition_result_parameterP9tree_node 72
_Z27make_postcondition_variable7cp_exprP9tree_node 73
_Z24lookup_concrete_semanticPKc 78
_Z26set_postcondition_functionP9tree_nodeS0_ 78
_Z25match_contract_conditionsmP9tree_nodemS0_25contract_matching_context 88
_Z26check_postcondition_resultP9tree_nodeS0_m 90
_ZL20apply_postconditionsP9tree_node 105
_Z27setup_default_contract_roleb 108
_ZL30check_for_mismatched_contractsP9tree_nodeS0_25contract_matching_context 109
_Z14emit_assertionP9tree_node 151
_Z15remap_contractsP9tree_nodeS0_S0_b 161
_Z24match_deferred_contractsP9tree_node 163
_Z21map_contract_semanticPKc 198
_ZL16contract_valid_pP9tree_node 224
_ZL26contract_attribute_valid_pP9tree_node 224
_Z20update_late_contractP9tree_nodeS0_S0_ 227
_Z18map_contract_levelPKc 230
_ZL18emit_contract_attrP9tree_node 233
_Z17add_contract_rolePKc17contract_semanticS1_S1_b 241
_ZL25add_pre_condition_fn_callP9tree_node 337
_Z25set_precondition_functionP9tree_nodeS0_ 349
_ZL27build_precondition_functionP9tree_node 368
_ZL29build_contract_function_declsP9tree_node 368
_ZL28build_postcondition_functionP9tree_node 375
_ZL19apply_preconditionsP9tree_node 376
_ZL25remap_and_emit_conditionsP9tree_nodeS0_9tree_code 399
_ZL12copy_fn_declP9tree_node 409
_ZL14build_arg_listP9tree_node 409
_ZL33build_contract_condition_functionP9tree_nodeb 409
_Z30maybe_apply_function_contractsP9tree_node 419
_ZL22get_contract_role_nameP9tree_node 692
_ZL23get_contract_level_nameP9tree_node 692
_ZL24build_contract_violationP9tree_node21contract_continuation 692
_ZL27build_contract_handler_callP9tree_node21contract_continuation 692
_ZL33declare_handle_contract_violationv 692
_ZL34get_pseudo_contract_violation_typev 692
_ZL23emit_contract_statementP9tree_node 749
_ZL14remap_contractP9tree_nodeS0_S0_b 751
_Z20build_contract_checkP9tree_node 752
_Z17get_contract_rolePKc 808
_ZL13build_comment7cp_expr 825
_ZL23contract_config_to_modeP9tree_node 840
_ZL25compute_concrete_semanticP9tree_node 840
_Z25finish_contract_attributeP9tree_nodeS0_ 846
_Z13grok_contractP9tree_nodeS0_S0_7cp_exprm 849
_Z25finish_contract_condition7cp_expr 880
_ZL15role_name_equalPKcS0_ 1048
_ZL19outline_contracts_pP9tree_node 1679
_Z17contract_active_pP9tree_node 2175
_ZL18remap_dummy_this_1PP9tree_nodePiPv 2516
_Z21contract_any_active_pP9tree_node 21167
_Z27maybe_update_postconditionsP9tree_node 609713
_ZL29has_active_contract_conditionP9tree_node9tree_code 611286
_Z22set_contract_functionsP9tree_nodeS0_S0_ 688148
_Z26remove_contract_attributesP9tree_node 4891022
_Z24copy_contract_attributesP9tree_nodeS0_ 8616442
_Z22rebuild_postconditionsP9tree_node 8616909
_Z26get_postcondition_functionP9tree_node 14954262
_Z25get_precondition_functionP9tree_node 14955645
_Z19duplicate_contractsP9tree_nodeS0_ 16905556
_Z25finish_function_contractsP9tree_node 132649010
_Z24start_function_contractsP9tree_node 132649046
_ZL18handle_contracts_pP9tree_node 265298475
_Z23cp_contract_assertion_pPK9tree_node 382888813
_Z24cxx_contract_attribute_pPK9tree_node 530087747
_Z29diagnose_misapplied_contractsP9tree_node 883987509

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.