LCOV - code coverage report
Current view: top level - gcc/cp - contracts.cc (source / functions) Hit Total Coverage
Test: gcc.info Lines: 825 909 90.8 %
Date: 2023-07-19 08:18:47 Functions: 76 87 87.4 %

Function Name Sort by function name Hit count Sort by hit count
_Z13grok_contractP9tree_nodeS0_S0_7cp_exprj 824
_Z14emit_assertionP9tree_node 155
_Z15remap_contractsP9tree_nodeS0_S0_b 160
_Z17add_contract_rolePKc17contract_semanticS1_S1_b 217
_Z17contract_active_pP9tree_node 0
_Z17get_contract_rolePKc 794
_Z18map_contract_levelPKc 225
_Z19duplicate_contractsP9tree_nodeS0_ 12025094
_Z19invalidate_contractP9tree_node 23
_Z20build_contract_checkP9tree_node 734
_Z20splice_out_contractsP9tree_node 0
_Z20update_late_contractP9tree_nodeS0_S0_ 221
_Z21contract_any_active_pP9tree_node 16392
_Z21map_contract_semanticPKc 191
_Z22inherit_base_contractsP9tree_nodeS0_ 12
_Z22rebuild_postconditionsP9tree_node 6320811
_Z22set_contract_functionsP9tree_nodeS0_S0_ 600795
_Z22validate_contract_roleP13contract_role 28
_Z23contract_any_deferred_pP9tree_node 20
_Z23cp_contract_assertion_pPK9tree_node 256809776
_Z24copy_contract_attributesP9tree_nodeS0_ 6320355
_Z24cxx_contract_attribute_pPK9tree_node 335352079
_Z24lookup_concrete_semanticPKc 78
_Z24match_deferred_contractsP9tree_node 158
_Z24start_function_contractsP9tree_node 90434883
_Z25finish_contract_attributeP9tree_nodeS0_ 821
_Z25finish_contract_condition7cp_expr 861
_Z25finish_function_contractsP9tree_node 90434843
_Z25get_precondition_functionP9tree_node 10100507
_Z25match_contract_conditionsjP9tree_nodejS0_25contract_matching_context 88
_Z25set_precondition_functionP9tree_nodeS0_ 337
_Z26check_postcondition_resultP9tree_nodeS0_j 87
_Z26get_postcondition_functionP9tree_node 52892554
_Z26handle_OPT_fcontract_role_PKc 25
_Z26remove_contract_attributesP9tree_node 3223006
_Z26set_postcondition_functionP9tree_nodeS0_ 75
_Z27make_postcondition_variable7cp_expr 66
_Z27make_postcondition_variable7cp_exprP9tree_node 70
_Z27maybe_update_postconditionsP9tree_node 83039
_Z27setup_default_contract_roleb 96
_Z28defer_guarded_contract_matchP9tree_nodeS0_S0_ 24
_Z29apply_postcondition_to_returnP9tree_node 42793563
_Z29diagnose_misapplied_contractsP9tree_node 619514551
_Z30all_attributes_are_contracts_pP9tree_node 21
_Z30handle_OPT_fcontract_semantic_PKc 3
_Z33handle_OPT_fcontract_build_level_PKc 4
_Z37handle_OPT_fcontract_assumption_mode_PKc 0
_Z39handle_OPT_fcontract_continuation_mode_PKc 43
_ZL11retain_declP9tree_nodeP14copy_body_data 1
_ZL12copy_fn_declP9tree_node 394
_ZL13build_comment7cp_expr 809
_ZL14build_arg_listP9tree_node 384
_ZL14remap_contractP9tree_nodeS0_S0_b 732
_ZL15role_name_equalP13contract_rolePKc 0
_ZL15role_name_equalPKcS0_ 1014
_ZL16contract_valid_pP9tree_node 224
_ZL16remap_dummy_thisP9tree_nodePS0_ 0
_ZL18emit_contract_attrP9tree_node 237
_ZL18emit_preconditionsP9tree_node 0
_ZL18get_concrete_checkv 0
_ZL18handle_contracts_pP9tree_node 180869726
_ZL18remap_dummy_this_1PP9tree_nodePiPv 2458
_ZL19outline_contracts_pP9tree_node 1159
_ZL22get_contract_role_nameP9tree_node 676
_ZL23contract_config_to_modeP9tree_node 824
_ZL23emit_contract_statementP9tree_node 735
_ZL23find_first_non_contractP9tree_node 0
_ZL23get_contract_level_nameP9tree_node 676
_ZL24build_contract_violationP9tree_node21contract_continuation 676
_ZL24emit_contract_conditionsP9tree_node9tree_code 94
_ZL24has_active_preconditionsP9tree_node 0
_ZL25compute_concrete_semanticP9tree_node 824
_ZL25has_active_postconditionsP9tree_node 0
_ZL25remap_and_emit_conditionsP9tree_nodeS0_9tree_code 382
_ZL26contract_attribute_valid_pP9tree_node 224
_ZL27build_contract_handler_callP9tree_node21contract_continuation 676
_ZL27build_precondition_functionP9tree_node 355
_ZL27emit_postconditions_cleanupP9tree_node 47
_ZL27get_concrete_axiom_semanticv 0
_ZL28build_postcondition_functionP9tree_node 362
_ZL29build_contract_function_declsP9tree_node 355
_ZL29has_active_contract_conditionP9tree_node9tree_code 83756
_ZL30check_for_mismatched_contractsP9tree_nodeS0_25contract_matching_context 109
_ZL33build_contract_condition_functionP9tree_nodeb 394
_ZL33declare_handle_contract_violationv 676
_ZL34get_postcondition_result_parameterP9tree_node 117
_ZL34get_pseudo_contract_violation_typev 676

Generated by: LCOV version 1.16