LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-fd.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 94.7 % 1193 1130
Test Date: 2025-12-13 14:10:19 Functions: 90.9 % 110 100
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
_ZNK3ana12_GLOBAL__N_116fd_state_machine13is_valid_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine14is_closed_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16is_constant_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16is_readonly_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine16mark_as_valid_fdEPNS_12region_modelEPNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine17is_unchecked_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine17is_writeonly_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine23is_datagram_socket_fd_pEPKNS_13state_machine5stateE 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_readERNS_10sm_contextERK5gcallP9tree_node 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_writeERNS_10sm_contextERK5gcallP9tree_node 0
_ZN3ana12_GLOBAL__N_116fd_type_mismatch4emitERNS_27diagnostic_emission_contextE 5
_ZN3ana12_GLOBAL__N_118fd_use_after_close4emitERNS_27diagnostic_emission_contextE 7
_ZNK3ana12_GLOBAL__N_116fd_state_machine24valid_to_unchecked_stateEPKNS_13state_machine5stateE 9
_ZNK3ana7kf_pipe14impl_call_postERKNS_12call_detailsE 9
_ZN3ana12_GLOBAL__N_116fd_type_mismatch20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 10
_ZN3ana12_GLOBAL__N_123fd_access_mode_mismatch4emitERNS_27diagnostic_emission_contextE 12
_ZN3ana12_GLOBAL__N_118fd_use_after_close20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 14
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_creatERNS_10sm_contextERK5gcall 14
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch16subclass_equal_pERKNS_18pending_diagnosticE 14
_ZNK3ana7kf_pipe7success12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 17
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch22get_controlling_optionEv 19
_ZNK3ana7kf_pipe7failure12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 21
_ZNK3ana12_GLOBAL__N_118fd_use_after_close22get_controlling_optionEv 22
_ZN3ana12_GLOBAL__N_117fd_phase_mismatch4emitERNS_27diagnostic_emission_contextE 23
_ZN3ana12_GLOBAL__N_123fd_access_mode_mismatch20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 24
_ZNK3ana10kf_connect14impl_call_postERKNS_12call_detailsE 24
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch22get_controlling_optionEv 24
_ZNK3ana12_GLOBAL__N_116fd_state_machine13check_for_dupERNS_10sm_contextERK5gcallP9tree_nodeNS0_3dupE 26
_ZN3ana12_GLOBAL__N_115fd_double_close4emitERNS_27diagnostic_emission_contextE 28
_ZNK3ana9kf_accept14impl_call_postERKNS_12call_detailsE 28
_ZN3ana12_GLOBAL__N_118fd_use_after_close21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 32
_ZN3ana12region_model16mark_as_valid_fdEPKNS_6svalueEPNS_20region_model_contextE 34
_ZN3ana12_GLOBAL__N_120fd_use_without_check4emitERNS_27diagnostic_emission_contextE 40
_ZN3ana12_GLOBAL__N_117fd_phase_mismatch20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 46
_ZNK3ana12_GLOBAL__N_116fd_state_machine10on_connectERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 48
_ZNK3ana12_GLOBAL__N_116fd_state_machine21is_stream_socket_fd_pEPKNS_13state_machine5stateE 52
_ZNK3ana9kf_listen14impl_call_postERKNS_12call_detailsE 54
_ZN3ana12_GLOBAL__N_115fd_double_close20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 56
_ZNK3ana12_GLOBAL__N_115fd_double_close22get_controlling_optionEv 56
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_acceptERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 56
_ZN3ana12_GLOBAL__N_119fd_param_diagnostic31inform_filedescriptor_attributeENS0_17access_directionsE 59
_ZNK3ana7kf_read13impl_call_preERKNS_12call_detailsE 59
_ZN3ana12_GLOBAL__N_117fd_phase_mismatchC2ERKNS0_16fd_state_machineEP9tree_nodeS6_PKNS_13state_machine5stateENS0_14expected_phaseE 64
_ZN3ana12_GLOBAL__N_120fd_use_without_check21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 64
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch16subclass_equal_pERKNS_18pending_diagnosticE 64
_ZNK3ana9kf_accept17outcome_of_accept12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 70
_ZN3ana12_GLOBAL__N_17fd_leak4emitERNS_27diagnostic_emission_contextE 74
_ZNK3ana12_GLOBAL__N_17fd_leak15get_final_stateEv 74
_ZN3ana12_GLOBAL__N_120fd_use_without_check20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 80
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch22get_controlling_optionEv 87
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_access_mode_from_flagEi 88
_ZNK3ana7kf_pipe20matches_call_types_pERKNS_12call_detailsE 91
_ZNK3ana12_GLOBAL__N_113fd_diagnostic28get_meaning_for_state_changeERKNS_6evdesc12state_changeE 96
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_openERNS_10sm_contextERK5gcall 96
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_state_for_socket_typeEPKNS_6svalueE 101
_ZNK3ana12_GLOBAL__N_120fd_use_without_check22get_controlling_optionEv 107
_ZNK3ana9kf_socket14impl_call_postERKNS_12call_detailsE 107
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_listenERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 108
_ZNK3ana7kf_bind14impl_call_postERKNS_12call_detailsE 111
_ZN3ana12_GLOBAL__N_17fd_leakC2ERKNS0_16fd_state_machineEP9tree_nodePKNS_13program_stateE 117
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_leakEP9tree_nodePKNS_13program_stateES6_ 117
_ZNK3ana9kf_listen17outcome_of_listen12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 118
_ZNK3ana9kf_isatty14impl_call_postERKNS_12call_detailsE 121
_ZNK3ana12_GLOBAL__N_118fd_use_after_close8get_kindEv 129
_ZN3ana12_GLOBAL__N_115fd_double_close21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 136
_ZN3ana12_GLOBAL__N_17fd_leak21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 138
_ZNK3ana12_GLOBAL__N_116fd_type_mismatch8get_kindEv 146
_ZN3ana12_GLOBAL__N_17fd_leak20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 148
_ZNK3ana12_GLOBAL__N_119fd_param_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 156
_ZNK3ana12_GLOBAL__N_116fd_state_machine17check_for_open_fdERNS_10sm_contextERK5gcallP9tree_nodeNS0_17access_directionsE 157
_ZNK3ana12_GLOBAL__N_113fd_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 160
_ZNK3ana10kf_connect18outcome_of_connect12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 168
_ZNK3ana10kf_connect20matches_call_types_pERKNS_12call_detailsE 168
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch8get_kindEv 198
_ZNK3ana12_GLOBAL__N_17fd_leak22get_controlling_optionEv 206
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_socketERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 214
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_bindERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 222
_ZNK3ana9kf_accept20matches_call_types_pERKNS_12call_detailsE 245
_ZNK3ana12_GLOBAL__N_115fd_double_close8get_kindEv 248
_ZN3ana12_GLOBAL__N_113fd_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 258
_ZNK3ana9kf_isatty17outcome_of_isatty10feasible_pERKNS_12call_detailsEPNS_20region_model_contextE 258
_ZNK3ana9kf_isatty17outcome_of_isatty12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 258
_ZNK3ana12_GLOBAL__N_116fd_state_machine23check_for_new_socket_fdERKNS_12call_detailsEbRNS_10sm_contextEPKNS_6svalueEPKNS_13state_machine5stateENS0_14expected_phaseE 270
_ZNK3ana7kf_bind15outcome_of_bind12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 309
_ZN3ana12_GLOBAL__N_1L22add_constraint_ge_zeroEPNS_12region_modelEPKNS_6svalueEPNS_20region_model_contextE 327
_ZNK3ana7kf_read20matches_call_types_pERKNS_12call_detailsE 360
_ZNK3ana9kf_listen20matches_call_types_pERKNS_12call_detailsE 378
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_closeERNS_10sm_contextERK5gcall 395
_ZNK3ana12_GLOBAL__N_116fd_state_machine19check_for_socket_fdERKNS_12call_detailsEbRNS_10sm_contextEPKNS_6svalueEPKNS_13state_machine5stateEPb 434
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch8get_kindEv 693
_ZNK3ana12_GLOBAL__N_120fd_use_without_check8get_kindEv 701
_ZNK3ana12_GLOBAL__N_116fd_state_machine37make_invalid_transitions_on_conditionERNS_10sm_contextEPKNS_6svalueE 706
_ZNK3ana9kf_socket17outcome_of_socket12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 712
_ZNK3ana9kf_socket20matches_call_types_pERKNS_12call_detailsE 749
_ZNK3ana7kf_bind20matches_call_types_pERKNS_12call_detailsE 820
_ZNK3ana9kf_isatty20matches_call_types_pERKNS_12call_detailsE 847
_ZNK3ana12_GLOBAL__N_116fd_state_machine35make_valid_transitions_on_conditionERNS_10sm_contextEPKNS_6svalueE 907
_ZNK3ana12_GLOBAL__N_17fd_leak8get_kindEv 1234
_ZN3anaL12get_fd_stateEPNS_20region_model_contextEPPNS_12sm_state_mapEPPKNS_12_GLOBAL__N_116fd_state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE 1540
_ZN3ana12_GLOBAL__N_116fd_state_machineC2EPNS_6loggerE 3318
_ZN3ana21make_fd_state_machineEPNS_6loggerE 3318
_ZN3ana27register_known_fd_functionsERNS_22known_function_managerE 3318
_ZN3ana7kf_pipeC2Ej 6636
_ZNK3ana12_GLOBAL__N_116fd_state_machine12on_conditionERNS_10sm_contextEPKNS_6svalueE9tree_codeS6_ 33687
_ZNK3ana12_GLOBAL__N_116fd_state_machine18check_for_fd_attrsERNS_10sm_contextERK5gcallP9tree_nodePKcNS0_17access_directionsE 134379
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_stmtERNS_10sm_contextEPK6gimple 251501
_ZNK3ana12_GLOBAL__N_116fd_state_machine14is_socket_fd_pEPKNS_13state_machine5stateE 811074
_ZNK3ana12_GLOBAL__N_116fd_state_machine11can_purge_pEPKNS_13state_machine5stateE 811146
_ZNK3ana12_GLOBAL__N_116fd_state_machine17get_default_stateEPKNS_6svalueE 818762
_ZNK3ana12_GLOBAL__N_116fd_state_machine17inherited_state_pEv 819901

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.