LCOV - code coverage report

Current view: top level - gcc/analyzer - program-state.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 79.7 % 985 785 Test Date: 2024-12-21 13:15:12 Functions: 77.1 % 70 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	196447
_ZN3ana12sm_state_map14on_svalue_leakEPKNS_6svalueEPNS_25impl_region_model_contextE	497930
_ZN3ana12sm_state_map15clear_any_stateEPKNS_6svalueE	2442
_ZN3ana12sm_state_map16set_global_stateEPKNS_13state_machine5stateE	202697
_ZN3ana12sm_state_map17on_unknown_changeEPKNS_6svalueEbRKNS_15extrinsic_stateE	328047
_ZN3ana12sm_state_map18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelERKNS_15extrinsic_stateEPNS_25impl_region_model_contextE	4012575
_ZN3ana12sm_state_map19canonicalize_svalueEPKNS_6svalueERKNS_15extrinsic_stateE	8724300
_ZN3ana12sm_state_map19replay_call_summaryERNS_19call_summary_replayERKS0_	9807
_ZN3ana12sm_state_map21purge_state_involvingEPKNS_6svalueERKNS_15extrinsic_stateE	126364
_ZN3ana12sm_state_map26clear_all_per_svalue_stateEv	8928
_ZN3ana12sm_state_map3cmpERKS0_S2_	502753
_ZN3ana12sm_state_map7entry_t3cmpERKS1_S3_	91886
_ZN3ana12sm_state_map9set_stateEPNS_12region_modelEPKNS_6svalueEPKNS_13state_machine5stateES5_RKNS_15extrinsic_stateE	42765
_ZN3ana12sm_state_map9set_stateERKNS_11equiv_classEPKNS_13state_machine5stateEPKNS_6svalueERKNS_15extrinsic_stateE	37102
_ZN3ana12sm_state_mapC2ERKNS_13state_machineE	2466002
_ZN3ana13program_state10push_frameERKNS_15extrinsic_stateERK8function	9605
_ZN3ana13program_state12detect_leaksERKS0_S2_PKNS_6svalueERKNS_15extrinsic_stateEPNS_20region_model_contextE	573833
_ZN3ana13program_state14returning_callERNS_14exploded_graphEPNS_13exploded_nodeEPK5gcallPNS_13uncertainty_tE	67
_ZN3ana13program_state19replay_call_summaryERNS_19call_summary_replayERKS0_	1486
_ZN3ana13program_state29impl_call_analyzer_dump_stateEPK5gcallRKNS_15extrinsic_stateEPNS_20region_model_contextE	361
_ZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tE	124107
_ZN3ana13program_state9push_callERNS_14exploded_graphEPNS_13exploded_nodeEPK5gcallPNS_13uncertainty_tE	77
_ZN3ana13program_stateC2EOS0_	599148
_ZN3ana13program_stateC2ERKNS_15extrinsic_stateE	326190
_ZN3ana13program_stateC2ERKS0_	2310909
_ZN3ana13program_stateD2Ev	3236247
_ZN3ana13program_stateaSERKS0_	299937
_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	11020
_ZNK3ana12sm_state_map16can_merge_with_pERKS0_RKNS_13state_machineERKNS_15extrinsic_stateEPPS0_	1262923
_ZNK3ana12sm_state_map16get_global_stateEv	1297914
_ZNK3ana12sm_state_map16make_dump_widgetERKN8text_art16dump_widget_infoEPKNS_12region_modelE	0
_ZNK3ana12sm_state_map4dumpEb	0
_ZNK3ana12sm_state_map4hashEv	8176771
_ZNK3ana12sm_state_map5cloneEv	19331733
_ZNK3ana12sm_state_map5printEPKNS_12region_modelEbbP14pretty_printer	498
_ZNK3ana12sm_state_map7to_jsonEv	0
_ZNK3ana12sm_state_map9get_stateEPKNS_6svalueERKNS_15extrinsic_stateE	8527841
_ZNK3ana12sm_state_mapeqERKS0_	2789970
_ZNK3ana13program_state10dump_to_ppERKNS_15extrinsic_stateEbbP14pretty_printer	1572
_ZNK3ana13program_state12dump_to_fileERKNS_15extrinsic_stateEbbP8_IO_FILE	0
_ZNK3ana13program_state15prune_for_pointERNS_14exploded_graphERKNS_13program_pointEPNS_13exploded_nodeEPNS_13uncertainty_tE	602347
_ZNK3ana13program_state16can_merge_with_pERKS0_RKNS_15extrinsic_stateERKNS_13program_pointEPS0_	313356
_ZNK3ana13program_state16make_dump_widgetERKN8text_art16dump_widget_infoE	0
_ZNK3ana13program_state20get_current_functionEv	22
_ZNK3ana13program_state23can_purge_base_region_pERKNS_15extrinsic_stateEPKNS_6regionE	6138
_ZNK3ana13program_state23get_representative_treeEPKNS_6svalueE	0
_ZNK3ana13program_state4dumpERKNS_15extrinsic_stateEb	0
_ZNK3ana13program_state4dumpEv	0
_ZNK3ana13program_state4hashEv	429411
_ZNK3ana13program_state5printERKNS_15extrinsic_stateEP14pretty_printer	0
_ZNK3ana13program_state7to_jsonERKNS_15extrinsic_stateE	0
_ZNK3ana13program_state8validateERKNS_15extrinsic_stateE	1644747
_ZNK3ana13program_stateeqERKS0_	72747
_ZNK3ana15extrinsic_state10dump_to_ppEP14pretty_printer	0
_ZNK3ana15extrinsic_state12dump_to_fileEP8_IO_FILE	0
_ZNK3ana15extrinsic_state17get_model_managerEv	11172767
_ZNK3ana15extrinsic_state18get_sm_idx_by_nameEPKcPj	664642
_ZNK3ana15extrinsic_state4dumpEv	0
_ZNK3ana15extrinsic_state7to_jsonEv	0
_ZZN3ana13program_state7on_edgeERNS_14exploded_graphEPNS_13exploded_nodeEPKNS_9superedgeEPNS_13uncertainty_tEEN15my_path_context14terminate_pathEv	28
_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.