LCOV - code coverage report
Current view: top level - gcc/analyzer - sm-fd.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 94.7 % 1209 1145
Test Date: 2025-06-21 16:26:05 Functions: 90.7 % 108 98
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_contextEPKNS_9supernodeEPK6gimpleRK5gcallP9tree_node 0
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_writeERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcallP9tree_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
_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_contextEPKNS_9supernodeEPK6gimpleRK5gcall 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
_ZN3ana12_GLOBAL__N_117fd_phase_mismatch4emitERNS_27diagnostic_emission_contextE 23
_ZN3ana12_GLOBAL__N_123fd_access_mode_mismatch20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 24
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch22get_controlling_optionEv 24
_ZN3ana12_GLOBAL__N_115fd_double_close4emitERNS_27diagnostic_emission_contextE 28
_ZNK3ana7kf_pipe14impl_call_postERKNS_12call_detailsE 29
_ZNK3ana12_GLOBAL__N_116fd_state_machine13check_for_dupERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcallP9tree_nodeNS0_3dupE 30
_ZN3ana12_GLOBAL__N_118fd_use_after_close21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 32
_ZN3ana12region_model16mark_as_valid_fdEPKNS_6svalueEPNS_20region_model_contextE 34
_ZNK3ana12_GLOBAL__N_118fd_use_after_close22get_controlling_optionEv 39
_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_type_mismatch8get_kindEv 47
_ZNK3ana12_GLOBAL__N_123fd_access_mode_mismatch8get_kindEv 48
_ZNK3ana12_GLOBAL__N_116fd_state_machine21is_stream_socket_fd_pEPKNS_13state_machine5stateE 52
_ZNK3ana9kf_accept14impl_call_postERKNS_12call_detailsE 53
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_acceptERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 54
_ZNK3ana12_GLOBAL__N_118fd_use_after_close8get_kindEv 55
_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_machine10on_connectERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 56
_ZN3ana12_GLOBAL__N_119fd_param_diagnostic31inform_filedescriptor_attributeENS0_17access_directionsE 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 66
_ZNK3ana9kf_listen14impl_call_postERKNS_12call_detailsE 72
_ZN3ana12_GLOBAL__N_17fd_leak4emitERNS_27diagnostic_emission_contextE 73
_ZNK3ana7kf_read13impl_call_preERKNS_12call_detailsE 78
_ZN3ana12_GLOBAL__N_120fd_use_without_check20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 80
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_access_mode_from_flagEi 87
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch22get_controlling_optionEv 87
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_openERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcall 95
_ZNK3ana12_GLOBAL__N_113fd_diagnostic28get_meaning_for_state_changeERKNS_6evdesc12state_changeE 96
_ZNK3ana12_GLOBAL__N_17fd_leak22get_controlling_optionEv 96
_ZNK3ana12_GLOBAL__N_116fd_state_machine25get_state_for_socket_typeEPKNS_6svalueE 101
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_listenERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 108
_ZNK3ana12_GLOBAL__N_115fd_double_close8get_kindEv 112
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_leakEP9tree_node 116
_ZNK3ana9kf_listen17outcome_of_listen12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 117
_ZNK3ana7kf_pipe20matches_call_types_pERKNS_12call_detailsE 118
_ZNK3ana12_GLOBAL__N_120fd_use_without_check22get_controlling_optionEv 123
_ZN3ana12_GLOBAL__N_115fd_double_close21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 136
_ZN3ana12_GLOBAL__N_17fd_leak21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 136
_ZN3ana12_GLOBAL__N_17fd_leak20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 146
_ZNK3ana12_GLOBAL__N_119fd_param_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 157
_ZNK3ana12_GLOBAL__N_113fd_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 159
_ZNK3ana12_GLOBAL__N_116fd_state_machine17check_for_open_fdERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcallP9tree_nodeNS0_17access_directionsE 193
_ZNK3ana12_GLOBAL__N_116fd_state_machine9on_socketERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 214
_ZNK3ana12_GLOBAL__N_117fd_phase_mismatch8get_kindEv 215
_ZNK3ana7kf_bind14impl_call_postERKNS_12call_detailsE 224
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_bindERKNS_12call_detailsEbRNS_10sm_contextERKNS_15extrinsic_stateE 230
_ZNK3ana9kf_isatty14impl_call_postERKNS_12call_detailsE 240
_ZNK3ana12_GLOBAL__N_120fd_use_without_check8get_kindEv 241
_ZNK3ana9kf_isatty17outcome_of_isatty10feasible_pERKNS_12call_detailsEPNS_20region_model_contextE 248
_ZNK3ana9kf_isatty17outcome_of_isatty12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 248
_ZN3ana12_GLOBAL__N_113fd_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 256
_ZNK3ana12_GLOBAL__N_116fd_state_machine23check_for_new_socket_fdERKNS_12call_detailsEbRNS_10sm_contextEPKNS_6svalueEPKNS_9supernodeEPKNS_13state_machine5stateENS0_14expected_phaseE 286
_ZNK3ana7kf_bind15outcome_of_bind12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 316
_ZNK3ana9kf_accept20matches_call_types_pERKNS_12call_detailsE 330
_ZNK3ana7kf_read20matches_call_types_pERKNS_12call_detailsE 332
_ZN3ana12_GLOBAL__N_1L22add_constraint_ge_zeroEPNS_12region_modelEPKNS_6svalueEPNS_20region_model_contextE 333
_ZNK3ana9kf_listen20matches_call_types_pERKNS_12call_detailsE 396
_ZNK3ana10kf_connect14impl_call_postERKNS_12call_detailsE 407
_ZNK3ana10kf_connect18outcome_of_connect12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 416
_ZNK3ana12_GLOBAL__N_116fd_state_machine19check_for_socket_fdERKNS_12call_detailsEbRNS_10sm_contextEPKNS_6svalueEPKNS_9supernodeEPKNS_13state_machine5stateEPb 448
_ZNK3ana12_GLOBAL__N_116fd_state_machine8on_closeERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcall 503
_ZNK3ana12_GLOBAL__N_17fd_leak8get_kindEv 516
_ZNK3ana12_GLOBAL__N_116fd_state_machine37make_invalid_transitions_on_conditionERNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE 743
_ZNK3ana12_GLOBAL__N_116fd_state_machine35make_valid_transitions_on_conditionERNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE 918
_ZNK3ana10kf_connect20matches_call_types_pERKNS_12call_detailsE 1002
_ZNK3ana7kf_bind20matches_call_types_pERKNS_12call_detailsE 1044
_ZNK3ana9kf_socket14impl_call_postERKNS_12call_detailsE 1326
_ZNK3ana9kf_isatty20matches_call_types_pERKNS_12call_detailsE 1376
_ZNK3ana9kf_socket17outcome_of_socket12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 1415
_ZN3anaL12get_fd_stateEPNS_20region_model_contextEPPNS_12sm_state_mapEPPKNS_12_GLOBAL__N_116fd_state_machineEPjPSt10unique_ptrINS_10sm_contextESt14default_deleteISC_EE 2488
_ZNK3ana9kf_socket20matches_call_types_pERKNS_12call_detailsE 3152
_ZN3ana12_GLOBAL__N_116fd_state_machineC2EPNS_6loggerE 3313
_ZN3ana21make_fd_state_machineEPNS_6loggerE 3313
_ZN3ana27register_known_fd_functionsERNS_22known_function_managerE 3313
_ZN3ana7kf_pipeC2Ej 6626
_ZNK3ana12_GLOBAL__N_116fd_state_machine12on_conditionERNS_10sm_contextEPKNS_9supernodeEPK6gimplePKNS_6svalueE9tree_codeSC_ 30161
_ZNK3ana12_GLOBAL__N_116fd_state_machine18check_for_fd_attrsERNS_10sm_contextEPKNS_9supernodeEPK6gimpleRK5gcallP9tree_nodePKcNS0_17access_directionsE 166062
_ZNK3ana12_GLOBAL__N_116fd_state_machine7on_stmtERNS_10sm_contextEPKNS_9supernodeEPK6gimple 267896
_ZNK3ana12_GLOBAL__N_116fd_state_machine14is_socket_fd_pEPKNS_13state_machine5stateE 1036422
_ZNK3ana12_GLOBAL__N_116fd_state_machine11can_purge_pEPKNS_13state_machine5stateE 1036593
_ZNK3ana12_GLOBAL__N_116fd_state_machine17get_default_stateEPKNS_6svalueE 1046464
_ZNK3ana12_GLOBAL__N_116fd_state_machine17inherited_state_pEv 1048311

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.