LCOV - code coverage report

Current view: top level - gcc/analyzer - program-state.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 84.5 % 930 786 Test Date: 2024-05-18 13:55:47 Functions: 80.6 % 67 54 Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name	Hit count
_ZN3ana12sm_state_map14impl_set_stateEPKNS_6svalueEPKNS_13state_machine5stateES3_RKNS_15extrinsic_stateE	225441
_ZN3ana12sm_state_map14on_svalue_leakEPKNS_6svalueEPNS_25impl_region_model_contextE	589492
_ZN3ana12sm_state_map15clear_any_stateEPKNS_6svalueE	2886
_ZN3ana12sm_state_map16set_global_stateEPKNS_13state_machine5stateE	243287
_ZN3ana12sm_state_map17on_unknown_changeEPKNS_6svalueEbRKNS_15extrinsic_stateE	383868
_ZN3ana12sm_state_map18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelERKNS_15extrinsic_stateEPNS_25impl_region_model_contextE	4788238
_ZN3ana12sm_state_map19canonicalize_svalueEPKNS_6svalueERKNS_15extrinsic_stateE	10138686
_ZN3ana12sm_state_map19replay_call_summaryERNS_19call_summary_replayERKS0_	11949
_ZN3ana12sm_state_map21purge_state_involvingEPKNS_6svalueERKNS_15extrinsic_stateE	148337
_ZN3ana12sm_state_map26clear_all_per_svalue_stateEv	10485
_ZN3ana12sm_state_map3cmpERKS0_S2_	574248
_ZN3ana12sm_state_map7entry_t3cmpERKS1_S3_	108885
_ZN3ana12sm_state_map9set_stateEPNS_12region_modelEPKNS_6svalueEPKNS_13state_machine5stateES5_RKNS_15extrinsic_stateE	51610
_ZN3ana12sm_state_map9set_stateERKNS_11equiv_classEPKNS_13state_machine5stateEPKNS_6svalueERKNS_15extrinsic_stateE	44765
_ZN3ana12sm_state_mapC2ERKNS_13state_machineE	2950084
_ZN3ana13program_state10push_frameERKNS_15extrinsic_stateERK8function	11270
_ZN3ana13program_state12detect_leaksERKS0_S2_PKNS_6svalueERKNS_15extrinsic_stateEPNS_20region_model_contextE	684774
_ZN3ana13program_state14returning_callERNS_14exploded_graphEPNS_13exploded_nodeEPK5gcallPNS_13uncertainty_tE	84
_ZN3ana13program_state19replay_call_summaryERNS_19call_summary_replayERKS0_	1813
_ZN3ana13program_state29impl_call_analyzer_dump_stateEPK5gcallRKNS_15extrinsic_stateEPNS_20region_model_contextE	411
_ZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tE	148025
_ZN3ana13program_state9push_callERNS_14exploded_graphEPNS_13exploded_nodeEPK5gcallPNS_13uncertainty_tE	97
_ZN3ana13program_stateC2EOS0_	714955
_ZN3ana13program_stateC2ERKNS_15extrinsic_stateE	390076
_ZN3ana13program_stateC2ERKS0_	2755024
_ZN3ana13program_stateD2Ev	3860055
_ZN3ana13program_stateaSERKS0_	358482
_ZN3ana8selftest31analyzer_program_state_cc_testsEv	4
_ZN3ana8selftestL17test_sm_state_mapEv	4
_ZN3ana8selftestL20test_program_state_1Ev	4
_ZN3ana8selftestL20test_program_state_2Ev	4
_ZN3ana8selftestL26test_program_state_mergingEv	4
_ZN3ana8selftestL28test_program_state_merging_2Ev	4
_ZN3anaL18log_set_of_svaluesEPNS_6loggerEPKcRK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EE	496
_ZNK3ana12sm_state_map10get_originEPKNS_6svalueERKNS_15extrinsic_stateE	12
_ZNK3ana12sm_state_map10is_empty_pEv	12084
_ZNK3ana12sm_state_map16can_merge_with_pERKS0_RKNS_13state_machineERKNS_15extrinsic_stateEPPS0_	1497851
_ZNK3ana12sm_state_map16get_global_stateEv	1528996
_ZNK3ana12sm_state_map4dumpEb	0
_ZNK3ana12sm_state_map4hashEv	9727310
_ZNK3ana12sm_state_map5cloneEv	23043235
_ZNK3ana12sm_state_map5printEPKNS_12region_modelEbbP14pretty_printer	598
_ZNK3ana12sm_state_map7to_jsonEv	0
_ZNK3ana12sm_state_map9get_stateEPKNS_6svalueERKNS_15extrinsic_stateE	9913233
_ZNK3ana12sm_state_mapeqERKS0_	3317354
_ZNK3ana13program_state10dump_to_ppERKNS_15extrinsic_stateEbbP14pretty_printer	1724
_ZNK3ana13program_state12dump_to_fileERKNS_15extrinsic_stateEbbP8_IO_FILE	0
_ZNK3ana13program_state15prune_for_pointERNS_14exploded_graphERKNS_13program_pointEPNS_13exploded_nodeEPNS_13uncertainty_tE	718710
_ZNK3ana13program_state16can_merge_with_pERKS0_RKNS_15extrinsic_stateERKNS_13program_pointEPS0_	375021
_ZNK3ana13program_state20get_current_functionEv	22
_ZNK3ana13program_state23can_purge_base_region_pERKNS_15extrinsic_stateEPKNS_6regionE	7217
_ZNK3ana13program_state23get_representative_treeEPKNS_6svalueE	0
_ZNK3ana13program_state4dumpERKNS_15extrinsic_stateEb	0
_ZNK3ana13program_state4hashEv	511966
_ZNK3ana13program_state5printERKNS_15extrinsic_stateEP14pretty_printer	0
_ZNK3ana13program_state7to_jsonERKNS_15extrinsic_stateE	0
_ZNK3ana13program_state8validateERKNS_15extrinsic_stateE	1962030
_ZNK3ana13program_stateeqERKS0_	86341
_ZNK3ana15extrinsic_state10dump_to_ppEP14pretty_printer	0
_ZNK3ana15extrinsic_state12dump_to_fileEP8_IO_FILE	0
_ZNK3ana15extrinsic_state17get_model_managerEv	12990596
_ZNK3ana15extrinsic_state18get_sm_idx_by_nameEPKcPj	792047
_ZNK3ana15extrinsic_state4dumpEv	0
_ZNK3ana15extrinsic_state7to_jsonEv	0
_ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEEN15my_path_context14terminate_pathEv	33
_ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEEN15my_path_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteISC_EE	0
_ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEENK15my_path_context16terminate_path_pEv	0

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.