LCOV - code coverage report
Current view: top level - gcc/analyzer - program-state.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 79.0 % 939 742
Test Date: 2026-02-28 14:20:25 Functions: 76.9 % 65 50
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
_ZN3ana12sm_state_map14impl_set_stateEPKNS_6svalueEPKNS_13state_machine5stateES3_RKNS_15extrinsic_stateE 370993
_ZN3ana12sm_state_map14on_svalue_leakEPKNS_6svalueEPNS_25impl_region_model_contextE 605120
_ZN3ana12sm_state_map15clear_any_stateEPKNS_6svalueE 2910
_ZN3ana12sm_state_map16set_global_stateEPKNS_13state_machine5stateE 294009
_ZN3ana12sm_state_map17on_unknown_changeEPKNS_6svalueEbRKNS_15extrinsic_stateE 295637
_ZN3ana12sm_state_map18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelERKNS_15extrinsic_stateEPNS_25impl_region_model_contextE 3386574
_ZN3ana12sm_state_map19canonicalize_svalueEPKNS_6svalueERKNS_15extrinsic_stateE 12682721
_ZN3ana12sm_state_map19replay_call_summaryERNS_19call_summary_replayERKS0_ 9919
_ZN3ana12sm_state_map21purge_state_involvingEPKNS_6svalueERKNS_15extrinsic_stateE 110124
_ZN3ana12sm_state_map26clear_all_per_svalue_stateEv 9681
_ZN3ana12sm_state_map3cmpERKS0_S2_ 1206040
_ZN3ana12sm_state_map7entry_t3cmpERKS1_S3_ 662196
_ZN3ana12sm_state_map9set_stateEPNS_12region_modelEPKNS_6svalueEPKNS_13state_machine5stateES5_RKNS_15extrinsic_stateE 37236
_ZN3ana12sm_state_map9set_stateERKNS_11equiv_classEPKNS_13state_machine5stateEPKNS_6svalueERKNS_15extrinsic_stateE 32663
_ZN3ana12sm_state_mapC2ERKNS_13state_machineE 2764166
_ZN3ana13program_state10push_frameERKNS_15extrinsic_stateERK8function 10061
_ZN3ana13program_state12detect_leaksERKS0_S2_PKNS_6svalueERKNS_15extrinsic_stateEPNS_20region_model_contextE 484105
_ZN3ana13program_state19replay_call_summaryERNS_19call_summary_replayERKS0_ 1541
_ZN3ana13program_state29impl_call_analyzer_dump_stateERK5gcallRKNS_15extrinsic_stateEPNS_20region_model_contextE 357
_ZN3ana13program_stateC2EOS0_ 443447
_ZN3ana13program_stateC2ERKNS_15extrinsic_stateE 359306
_ZN3ana13program_stateC2ERKS0_ 2246392
_ZN3ana13program_stateD2Ev 3049145
_ZN3ana13program_stateaSERKS0_ 37347
_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 538
_ZNK3ana12sm_state_map10get_originEPKNS_6svalueERKNS_15extrinsic_stateE 12
_ZNK3ana12sm_state_map10is_empty_pEv 12252
_ZNK3ana12sm_state_map16can_merge_with_pERKS0_RKNS_13state_machineERKNS_15extrinsic_stateEPPS0_ 1618167
_ZNK3ana12sm_state_map16get_global_stateEv 1344074
_ZNK3ana12sm_state_map16make_dump_widgetERKN8text_art16dump_widget_infoEPKNS_12region_modelE 0
_ZNK3ana12sm_state_map4dumpEb 0
_ZNK3ana12sm_state_map4hashEv 5953877
_ZNK3ana12sm_state_map5cloneEv 17340663
_ZNK3ana12sm_state_map5printEPKNS_12region_modelEbbP14pretty_printer 413
_ZNK3ana12sm_state_map7to_jsonEv 0
_ZNK3ana12sm_state_map9get_stateEPKNS_6svalueERKNS_15extrinsic_stateE 12311716
_ZNK3ana12sm_state_mapeqERKS0_ 1681429
_ZNK3ana13program_state10dump_to_ppERKNS_15extrinsic_stateEbbP14pretty_printer 1748
_ZNK3ana13program_state12dump_to_fileERKNS_15extrinsic_stateEbbP8_IO_FILE 0
_ZNK3ana13program_state15prune_for_pointERNS_14exploded_graphERKNS_13program_pointEPNS_13exploded_nodeEPNS_13uncertainty_tE 397148
_ZNK3ana13program_state16can_merge_with_pERKS0_RKNS_15extrinsic_stateERKNS_13program_pointEPS0_ 345838
_ZNK3ana13program_state16make_dump_widgetERKN8text_art16dump_widget_infoE 0
_ZNK3ana13program_state20get_current_functionEv 22
_ZNK3ana13program_state23can_purge_base_region_pERKNS_15extrinsic_stateEPKNS_6regionE 3530
_ZNK3ana13program_state23get_representative_treeEPKNS_6svalueE 0
_ZNK3ana13program_state4dumpERKNS_15extrinsic_stateEb 0
_ZNK3ana13program_state4dumpEv 0
_ZNK3ana13program_state4hashEv 442100
_ZNK3ana13program_state5printERKNS_15extrinsic_stateEP14pretty_printer 0
_ZNK3ana13program_state7to_jsonERKNS_15extrinsic_stateE 0
_ZNK3ana13program_state8dump_dotERKNS_15extrinsic_stateE 0
_ZNK3ana13program_state8validateERKNS_15extrinsic_stateE 1718070
_ZNK3ana13program_stateeqERKS0_ 112392
_ZNK3ana15extrinsic_state10dump_to_ppEP14pretty_printer 0
_ZNK3ana15extrinsic_state12dump_to_fileEP8_IO_FILE 0
_ZNK3ana15extrinsic_state17get_model_managerEv 16587253
_ZNK3ana15extrinsic_state18get_sm_idx_by_nameEPKcPj 722170
_ZNK3ana15extrinsic_state4dumpEv 0
_ZNK3ana15extrinsic_state7to_jsonEv 0

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.