LCOV - code coverage report
Current view: top level - gcc/cp - contracts.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 95.5 % 1340 1280
Test Date: 2026-09-12 16:25:28 Functions: 100.0 % 98 98
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
_Z13grok_contractP9tree_nodeS0_S0_7cp_exprm 1692
_Z13view_as_constP9tree_node 3431
_Z14init_contractsv 25461
_Z19invalidate_contractP9tree_node 15
_Z20build_contract_checkP9tree_node 1040
_Z20update_late_contractP9tree_nodeS0_7cp_expr 779
_Z21check_redecl_contractP9tree_nodeS0_ 19829594
_Z21get_orig_for_outlinedP9tree_node 32
_Z22rebuild_postconditionsP9tree_node 931
_Z22set_contract_functionsP9tree_nodeS0_S0_ 472632
_Z23contract_any_deferred_pP9tree_node 1371
_Z23get_evaluation_semanticPK9tree_node 5415
_Z24constify_contract_accessP9tree_node 2615
_Z24copy_and_remap_contractsP9tree_nodeS0_19contract_match_kind 243
_Z24maybe_contract_wrap_callP9tree_nodeS0_ 171124291
_Z24start_function_contractsP9tree_node 168707840
_Z25build_contract_specifiersP3vecIP9tree_node5va_gc8vl_embedE 22637523
_Z25finish_contract_condition7cp_expr 2205
_Z25get_precondition_functionP9tree_node 1929326
_Z25update_contract_argumentsP9tree_nodeS0_ 12347239
_Z26check_postcondition_resultP9tree_nodeS0_m 254
_Z26contract_specifiers_concatP9tree_nodeS0_ 22792644
_Z26emit_contract_wrapper_funcb 57334
_Z26get_fn_contract_specifiersP9tree_node 556540940
_Z26get_postcondition_functionP9tree_node 1929330
_Z26set_fn_contract_specifiersP9tree_nodeS0_ 1788
_Z27make_postcondition_variable7cp_expr 124
_Z27make_postcondition_variable7cp_exprP9tree_node 202
_Z27maybe_update_postconditionsP9tree_node 1077061
_Z28check_param_in_postconditionP9tree_nodem 751878675
_Z28define_contract_wrapper_funcRKP9tree_nodeS2_Pv 64
_Z29remove_fn_contract_specifiersP9tree_node 479311
_Z29update_fn_contract_specifiersP9tree_nodeS0_ 436
_Z30check_postconditions_in_redeclP9tree_nodeS0_ 147971845
_Z30maybe_apply_function_contractsP9tree_node 151970183
_Z34finish_function_outlined_contractsP9tree_node 168707804
_Z37maybe_emit_violation_handler_wrappersv 25139
_Z40remove_decl_with_fn_contracts_specifiersP9tree_node 1523343
_ZL11retain_declP9tree_nodeP14copy_body_data 752
_ZL12remap_retvalP9tree_nodeS0_ 355
_ZL13build_comment7cp_expr 1646
_ZL14build_arg_listP9tree_node 56
_ZL14copy_contractsP9tree_node19contract_match_kind 653
_ZL14remap_contractP9tree_nodeS0_S0_b 356
_ZL14remap_retval_1PP9tree_nodePiPv 1793
_ZL15lookup_std_typeP9tree_node 190
_ZL16contract_valid_pP9tree_node 108
_ZL16remap_dummy_thisP9tree_nodePS0_ 1038
_ZL17contract_active_pP9tree_node 3413
_ZL18handle_contracts_pP9tree_node 653799139
_ZL18remap_dummy_this_1PP9tree_nodePiPv 5112
_ZL19apply_preconditionsP9tree_node 427
_ZL19copy_contracts_listP9tree_nodeS0_19contract_match_kind 653
_ZL19parm_used_in_post_pPK9tree_node 785
_ZL20apply_postconditionsP9tree_node 254
_ZL20get_contract_end_locP9tree_node 1451
_ZL20get_src_loc_impl_ptrm 1036
_ZL21build_thunk_like_callP9tree_nodeiPS0_ 56
_ZL21contract_any_active_pP9tree_node 62196405
_ZL21contracts_fixup_namesP9tree_nodeS0_bb 87
_ZL21set_parm_used_in_postP9tree_nodeb 728
_ZL22mismatched_contracts_pP9tree_nodeS0_ 54
_ZL23build_terminate_wrapperv 192
_ZL23emit_contract_statementP9tree_node 916
_ZL24has_active_preconditionsP9tree_node 1011
_ZL25add_pre_condition_fn_callP9tree_node 14
_ZL25declare_terminate_wrapperv 1038
_ZL25get_orig_func_for_wrapperP9tree_node 40
_ZL25has_active_postconditionsP9tree_node 1078103
_ZL25lookup_std_contracts_typeP9tree_node 148
_ZL25match_contract_specifiersmP9tree_nodemS0_ 57
_ZL25remap_and_emit_conditionsP9tree_nodeS0_9tree_code 28
_ZL25set_precondition_functionP9tree_nodeS0_ 14
_ZL25should_contract_wrap_callbb 379
_ZL26add_post_condition_fn_callP9tree_node 14
_ZL26set_postcondition_functionP9tree_nodeS0_ 45
_ZL27build_contract_handler_callP9tree_node 380
_ZL27build_precondition_functionP9tree_node 26
_ZL27get_contract_assertion_kindP9tree_node 1036
_ZL28build_postcondition_functionP9tree_node 57
_ZL28contracts_tu_local_named_varmPKcP9tree_node 1036
_ZL29build_contract_function_declsP9tree_node 26
_ZL29build_contract_violation_ctorP9tree_node 1036
_ZL29get_contract_violation_fieldsv 25461
_ZL29get_contract_wrapper_functionP9tree_node 28
_ZL29has_active_contract_conditionP9tree_node9tree_code 1079114
_ZL29set_contract_wrapper_functionP9tree_nodeS0_ 28
_ZL31build_contract_wrapper_functionP9tree_node 28
_ZL33build_contract_condition_functionP9tree_nodeb 59
_ZL33build_contract_violation_constantP9tree_nodeS0_ 1036
_ZL33declare_handle_contract_violationv 380
_ZL34declare_violation_handler_wrappersv 1036
_ZL34emit_builtin_observable_checkpointv 534
_ZL34get_postcondition_result_parameterP9tree_node 14
_ZL36init_builtin_contract_violation_typev 25461
_ZL37declare_one_violation_handler_wrapperP9tree_nodeS0_S0_S0_ 380
_ZL39get_contracts_source_location_impl_typeP9tree_node 190
_ZL39get_or_create_contract_wrapper_functionP9tree_node 28

Generated by: LCOV version 2.4-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.