LCOV - code coverage report

Current view: top level - gcc/analyzer - sm-malloc.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 90.9 % 1063 966 Test Date: 2026-02-28 14:20:25 Functions: 94.9 % 138 131 Legend: Lines:     hit not hit

Function Name	Hit count
_ZN3ana12_GLOBAL__N_116free_of_non_heap21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	0
_ZN3ana12region_model28transition_ptr_sval_non_nullEPNS_20region_model_contextEPKNS_6svalueE	0
_ZNK3ana12_GLOBAL__N_111deallocator10dump_to_ppEP14pretty_printer	0
_ZNK3ana12_GLOBAL__N_115deallocator_set4dumpEv	0
_ZNK3ana12_GLOBAL__N_120malloc_state_machine28transition_ptr_sval_non_nullEPNS_12region_modelEPNS_12sm_state_mapEPKNS_6svalueERKNS_15extrinsic_stateE	0
_ZNK3ana12_GLOBAL__N_120malloc_state_machine6on_phiERNS_10sm_contextEPK4gphiP9tree_node	0
_ZNK3ana12_GLOBAL__N_122custom_deallocator_set10dump_to_ppEP14pretty_printer	0
_ZN3ana12_GLOBAL__N_110null_deref24describe_return_of_stateER14pretty_printerRKNS_6evdesc15return_of_stateE	22
_ZN3ana12_GLOBAL__N_113possible_null24describe_return_of_stateER14pretty_printerRKNS_6evdesc15return_of_stateE	26
_ZN3ana12_GLOBAL__N_116free_of_non_heap22mark_interesting_stuffEPNS_13interesting_tE	41
_ZN3ana12_GLOBAL__N_116free_of_non_heap4emitERNS_27diagnostic_emission_contextE	41
_ZNK3ana12_GLOBAL__N_116free_of_non_heap16subclass_equal_pERKNS_18pending_diagnosticE	41
_ZN3ana12_GLOBAL__N_117possible_null_arg4emitERNS_27diagnostic_emission_contextE	42
_ZN3ana12_GLOBAL__N_1L28get_dynalloc_state_for_stateENS0_14resource_stateE	44
_ZNK3ana12_GLOBAL__N_120malloc_state_machine24add_state_to_state_graphERNS_20analyzer_state_graphERKNS_6svalueEPKNS_13state_machine5stateE	44
_ZNK3ana12_GLOBAL__N_120malloc_state_machine23handle_free_of_non_heapERNS_10sm_contextERK5gcallP9tree_nodePKNS0_11deallocatorE	61
_ZN3ana12_GLOBAL__N_118deref_before_check22sufficiently_similar_pEP9tree_nodeS3_	62
_ZN3ana12_GLOBAL__N_126deallocator_set_map_traits10equal_keysERKPK8auto_vecIPKNS0_11deallocatorELm0EESA_	69
_ZN3ana12_GLOBAL__N_18null_arg4emitERNS_27diagnostic_emission_contextE	69
_ZNK3ana12_GLOBAL__N_117possible_null_arg16subclass_equal_pERKNS_18pending_diagnosticE	69
_ZN3ana12_GLOBAL__N_118custom_deallocatorC2EPNS0_20malloc_state_machineEP9tree_nodeNS0_7wordingE	70
_ZNK3ana12_GLOBAL__N_18null_arg16subclass_equal_pERKNS_18pending_diagnosticE	71
_ZNK3ana12_GLOBAL__N_18null_arg16terminate_path_pEv	72
_ZN3ana12_GLOBAL__N_122custom_deallocator_setC2EPNS0_20malloc_state_machineEPK8auto_vecIPKNS0_11deallocatorELm0EENS0_7wordingE	75
_ZN3ana12_GLOBAL__N_114use_after_free4emitERNS_27diagnostic_emission_contextE	77
_ZN3ana12_GLOBAL__N_111deallocator11cmp_ptr_ptrEPKvS3_	80
_ZN3ana12_GLOBAL__N_111deallocator3cmpEPKS1_S3_	80
_ZN3ana12_GLOBAL__N_116free_of_non_heap20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	82
_ZN3ana12_GLOBAL__N_114use_after_freeC2ERKNS0_20malloc_state_machineEP9tree_nodePKNS0_11deallocatorE	84
_ZN3ana12_GLOBAL__N_117possible_null_arg20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	84
_ZN3ana12_GLOBAL__N_118deref_before_check13loop_header_pERKNS_13program_pointE	84
_ZN3ana12_GLOBAL__N_124mismatching_deallocation4emitERNS_27diagnostic_emission_contextE	88
_ZNK3ana12_GLOBAL__N_116free_of_non_heap22get_controlling_optionEv	102
_ZN3ana12_GLOBAL__N_1L24inform_nonnull_attributeEP9tree_nodei	111
_ZNK3ana12_GLOBAL__N_124standard_deallocator_set16maybe_get_singleEv	111
_ZN3ana12_GLOBAL__N_118deref_before_check4emitERNS_27diagnostic_emission_contextE	114
_ZNK3ana12_GLOBAL__N_117possible_null_arg22get_controlling_optionEv	115
_ZN3ana12_GLOBAL__N_110null_deref4emitERNS_27diagnostic_emission_contextE	126
_ZNK3ana12_GLOBAL__N_114use_after_free12supercedes_pERKNS_18pending_diagnosticE	129
_ZN3ana12_GLOBAL__N_119possible_null_deref4emitERNS_27diagnostic_emission_contextE	132
_ZN3ana12_GLOBAL__N_18null_arg20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	138
_ZN3ana12_GLOBAL__N_118deref_before_checkC2ERKNS0_20malloc_state_machineEP9tree_node	139
_ZNK3ana12_GLOBAL__N_18null_arg22get_controlling_optionEv	141
_ZNK3ana12_GLOBAL__N_110null_deref12supercedes_pERKNS_18pending_diagnosticE	155
_ZN3ana12_GLOBAL__N_114use_after_free20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	156
_ZNK3ana12_GLOBAL__N_114use_after_free22get_controlling_optionEv	161
_ZN3ana12_GLOBAL__N_118deref_before_check20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	164
_ZN3ana12_GLOBAL__N_118deref_before_check21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	172
_ZN3ana12_GLOBAL__N_124mismatching_deallocation20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	176
_ZNK3ana12_GLOBAL__N_124mismatching_deallocation22get_controlling_optionEv	176
_ZNK3ana12_GLOBAL__N_122custom_deallocator_set10contains_pEPKNS0_11deallocatorE	177
_ZNK3ana12_GLOBAL__N_110null_deref16terminate_path_pEv	180
_ZNK3ana12_GLOBAL__N_118deref_before_check22get_controlling_optionEv	189
_ZNK3ana12_GLOBAL__N_117malloc_diagnostic28get_meaning_for_state_changeERKNS_6evdesc12state_changeE	204
_ZN3ana12_GLOBAL__N_124mismatching_deallocation21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	206
_ZNK3ana12_GLOBAL__N_120malloc_state_machine39maybe_complain_about_deref_before_checkERNS_10sm_contextEPKNS0_22assumed_non_null_stateEP9tree_node	206
_ZN3ana12_GLOBAL__N_126deallocator_set_map_traits4hashERKPK8auto_vecIPKNS0_11deallocatorELm0EE	222
_ZN3ana12_GLOBAL__N_1L7start_pEPKNS_13state_machine5stateE	248
_ZN3ana12_GLOBAL__N_110null_deref20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	252
_ZN3ana12_GLOBAL__N_119possible_null_deref20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	264
_ZNK3ana12_GLOBAL__N_111deallocator4hashEv	278
_ZNK3ana12_GLOBAL__N_119possible_null_deref22get_controlling_optionEv	288
_ZN3ana12_GLOBAL__N_120malloc_state_machine25get_or_create_deallocatorEP9tree_node	299
_ZNK3ana12_GLOBAL__N_122custom_deallocator_set16maybe_get_singleEv	305
_ZNK3ana12_GLOBAL__N_110null_deref22get_controlling_optionEv	306
_ZNK3ana12_GLOBAL__N_120malloc_state_machine20on_realloc_with_moveEPNS_12region_modelEPNS_12sm_state_mapEPKNS_6svalueES8_RKNS_15extrinsic_stateE	310
_ZN3ana12_GLOBAL__N_1L23describe_argument_indexEP9tree_nodei	333
_ZNK3ana12_GLOBAL__N_120malloc_state_machine15on_realloc_callERNS_10sm_contextERK5gcall	334
_ZN3ana12_GLOBAL__N_114use_after_free21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	348
_ZN3ana12_GLOBAL__N_111double_free24describe_call_with_stateER14pretty_printerRKNS_6evdesc15call_with_stateE	354
_ZN3ana12_GLOBAL__N_113possible_null21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	356
_ZNK3ana12_GLOBAL__N_124standard_deallocator_set10dump_to_ppEP14pretty_printer	362
_ZN3ana12_GLOBAL__N_111malloc_leak4emitERNS_27diagnostic_emission_contextE	366
_ZNK3ana12_GLOBAL__N_111malloc_leak15get_final_stateEv	366
_ZNK3ana12_GLOBAL__N_122assumed_non_null_state10dump_to_ppEP14pretty_printer	367
_ZN3ana12_GLOBAL__N_111double_free4emitERNS_27diagnostic_emission_contextE	393
_ZN3ana12region_model20on_realloc_with_moveERKNS_12call_detailsEPKNS_6svalueES6_	394
_ZN3ana12_GLOBAL__N_1L20zero_address_valid_pEPK9tree_node	453
_ZNK3ana12_GLOBAL__N_18null_arg8get_kindEv	489
_ZN3ana12_GLOBAL__N_1L8method_pEP9tree_node	657
_ZNK3ana12_GLOBAL__N_116allocation_state10dump_to_ppEP14pretty_printer	703
_ZN3ana12_GLOBAL__N_111malloc_leak20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	728
_ZN3ana12_GLOBAL__N_111double_free20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	794
_ZN3ana12_GLOBAL__N_111malloc_leak21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	828
_ZN3ana12_GLOBAL__N_111malloc_leakC2ERKNS0_20malloc_state_machineEP9tree_nodePKNS_13program_stateE	883
_ZNK3ana12_GLOBAL__N_120malloc_state_machine7on_leakEP9tree_nodePKNS_13program_stateES6_	883
_ZN3ana12_GLOBAL__N_117malloc_diagnostic21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	892
_ZN3ana12_GLOBAL__N_111double_free21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE	1080
_ZNK3ana12_GLOBAL__N_116free_of_non_heap8get_kindEv	1240
_ZNK3ana12_GLOBAL__N_111malloc_leak22get_controlling_optionEv	1249
_ZNK3ana12_GLOBAL__N_118deref_before_check8get_kindEv	1370
_ZNK3ana12_GLOBAL__N_117possible_null_arg8get_kindEv	1425
_ZNK3ana12_GLOBAL__N_114use_after_free8get_kindEv	1501
_ZNK3ana12_GLOBAL__N_116allocation_state11get_nonnullEv	1543
_ZNK3ana12_GLOBAL__N_117malloc_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE	1835
_ZNK3ana12_GLOBAL__N_124mismatching_deallocation8get_kindEv	2240
_ZNK3ana12_GLOBAL__N_110null_deref8get_kindEv	2283
_ZN3ana12_GLOBAL__N_122assumed_non_null_stateC2EPKcjPKNS_12frame_regionE	2537
_ZNK3ana12_GLOBAL__N_119possible_null_deref8get_kindEv	2697
_ZN3ana12_GLOBAL__N_120malloc_state_machine35maybe_create_custom_deallocator_setEP9tree_node	2706
_ZNK3ana12_GLOBAL__N_120malloc_state_machine18on_zero_assignmentERNS_10sm_contextEP9tree_node	3007
_ZN3ana12_GLOBAL__N_120malloc_state_machineC2EPNS_6loggerE	3389
_ZN3ana25make_malloc_state_machineEPNS_6loggerE	3389
_ZNK3ana12_GLOBAL__N_111double_free8get_kindEv	4089
_ZNK3ana12_GLOBAL__N_111double_free22get_controlling_optionEv	4825
_ZNK3ana12_GLOBAL__N_124standard_deallocator_set10contains_pEPKNS0_11deallocatorE	5441
_ZN3ana12_GLOBAL__N_1L9nonnull_pEPKNS_13state_machine5stateE	6449
_ZN3ana12_GLOBAL__N_120malloc_state_machineD0Ev	6778
_ZN3ana12_GLOBAL__N_120malloc_state_machineD0Ev	3389
_ZN3ana12_GLOBAL__N_120malloc_state_machineD2Ev	3389
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17on_allocator_callERNS_10sm_contextERK5gcallPKNS0_15deallocator_setEb	6822
_ZNK3ana12_GLOBAL__N_111malloc_leak8get_kindEv	7377
_ZNK3ana12_GLOBAL__N_120malloc_state_machine14handle_nonnullERNS_10sm_contextEP9tree_nodeS5_j	7434
_ZN3ana12_GLOBAL__N_1L21as_a_allocation_stateEPKNS_13state_machine5stateE	8832
_ZN3ana12_GLOBAL__N_120malloc_state_machine46get_or_create_assumed_non_null_state_for_frameEPKNS_12frame_regionE	9723
_ZN3ana12_GLOBAL__N_124standard_deallocator_setC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE	10167
_ZN3ana12_GLOBAL__N_115deallocator_setC2EPNS0_20malloc_state_machineENS0_7wordingE	10242
_ZNK3ana12_GLOBAL__N_120malloc_state_machine19on_deallocator_callERNS_10sm_contextERK5gcallPKNS0_11deallocatorEj	11373
_ZN3ana12_GLOBAL__N_1L7freed_pEPKNS_13state_machine5stateE	12408
_ZN3ana12_GLOBAL__N_120standard_deallocatorC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE	13556
_ZN3ana12_GLOBAL__N_111deallocatorC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE	13626
_ZNK3ana12_GLOBAL__N_120malloc_state_machine33reset_when_passed_to_unknown_fn_pEPKNS_13state_machine5stateEb	20362
_ZNK3ana12_GLOBAL__N_120malloc_state_machine12on_pop_frameEPNS_12sm_state_mapEPKNS_12frame_regionE	23470
_ZNK3ana12_GLOBAL__N_120malloc_state_machine21maybe_assume_non_nullERNS_10sm_contextEP9tree_node	25631
_ZN3ana12_GLOBAL__N_120malloc_state_machine36get_or_create_custom_deallocator_setEP9tree_node	27735
_ZN3ana12_GLOBAL__N_120malloc_state_machine20unaffected_by_call_pEP9tree_node	27743
_ZNK3ana12_GLOBAL__N_120malloc_state_machine12on_conditionERNS_10sm_contextEPKNS_6svalueE9tree_codeS6_	34599
_ZN3ana12_GLOBAL__N_1L11unchecked_pEPKNS_13state_machine5stateE	39941
_ZN3ana12_GLOBAL__N_120malloc_state_machine9add_stateEPKcNS0_14resource_stateEPKNS0_15deallocator_setEPKNS0_11deallocatorE	44277
_ZN3ana12_GLOBAL__N_1L17known_allocator_pEPK9tree_nodeRK5gcall	45860
_ZNK3ana12_GLOBAL__N_120malloc_state_machine24check_call_preconditionsERNS_10sm_contextERKNS_12call_detailsE	57208
_ZNK3ana12_GLOBAL__N_120malloc_state_machine32maybe_get_merged_states_nonequalEPKNS_13state_machine5stateES5_	132235
_ZN3ana12_GLOBAL__N_1L18assumed_non_null_pEPKNS_13state_machine5stateE	207281
_ZNK3ana12_GLOBAL__N_120malloc_state_machine7on_stmtERNS_10sm_contextEPK6gimple	264045
_ZNK3ana12_GLOBAL__N_120malloc_state_machine11can_purge_pEPKNS_13state_machine5stateE	1463922
_ZN3ana12_GLOBAL__N_1L25dyn_cast_allocation_stateEPKNS_13state_machine5stateE	1733256
_ZN3ana12_GLOBAL__N_1L6get_rsEPKNS_13state_machine5stateE	1733256
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17get_default_stateEPKNS_6svalueE	1735324
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17inherited_state_pEv	1821575

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.