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-05-30 15:37:04 Functions: 94.9 % 138 131
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function 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_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_ 63
_ZN3ana12_GLOBAL__N_126deallocator_set_map_traits10equal_keysERKPK8auto_vecIPKNS0_11deallocatorELm0EESA_ 69
_ZNK3ana12_GLOBAL__N_117possible_null_arg16subclass_equal_pERKNS_18pending_diagnosticE 69
_ZN3ana12_GLOBAL__N_118custom_deallocatorC2EPNS0_20malloc_state_machineEP9tree_nodeNS0_7wordingE 70
_ZN3ana12_GLOBAL__N_18null_arg4emitERNS_27diagnostic_emission_contextE 72
_ZNK3ana12_GLOBAL__N_18null_arg16subclass_equal_pERKNS_18pending_diagnosticE 74
_ZN3ana12_GLOBAL__N_122custom_deallocator_setC2EPNS0_20malloc_state_machineEPK8auto_vecIPKNS0_11deallocatorELm0EENS0_7wordingE 75
_ZNK3ana12_GLOBAL__N_18null_arg16terminate_path_pEv 79
_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_116free_of_non_heap22mark_interesting_stuffEPNS_13interesting_tE 82
_ZN3ana12_GLOBAL__N_117possible_null_arg20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 84
_ZN3ana12_GLOBAL__N_118deref_before_check13loop_header_pERKNS_13program_pointE 85
_ZN3ana12_GLOBAL__N_114use_after_free4emitERNS_27diagnostic_emission_contextE 86
_ZN3ana12_GLOBAL__N_124mismatching_deallocation4emitERNS_27diagnostic_emission_contextE 88
_ZN3ana12_GLOBAL__N_114use_after_freeC2ERKNS0_20malloc_state_machineEP9tree_nodePKNS0_11deallocatorE 93
_ZNK3ana12_GLOBAL__N_116free_of_non_heap22get_controlling_optionEv 102
_ZNK3ana12_GLOBAL__N_124standard_deallocator_set16maybe_get_singleEv 111
_ZN3ana12_GLOBAL__N_1L24inform_nonnull_attributeEP9tree_nodei 114
_ZN3ana12_GLOBAL__N_118deref_before_check4emitERNS_27diagnostic_emission_contextE 115
_ZNK3ana12_GLOBAL__N_117possible_null_arg22get_controlling_optionEv 115
_ZN3ana12_GLOBAL__N_119possible_null_deref4emitERNS_27diagnostic_emission_contextE 132
_ZN3ana12_GLOBAL__N_110null_deref4emitERNS_27diagnostic_emission_contextE 139
_ZN3ana12_GLOBAL__N_118deref_before_checkC2ERKNS0_20malloc_state_machineEP9tree_node 140
_ZN3ana12_GLOBAL__N_18null_arg20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 144
_ZNK3ana12_GLOBAL__N_114use_after_free12supercedes_pERKNS_18pending_diagnosticE 147
_ZNK3ana12_GLOBAL__N_18null_arg22get_controlling_optionEv 151
_ZN3ana12_GLOBAL__N_118deref_before_check20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 165
_ZNK3ana12_GLOBAL__N_110null_deref12supercedes_pERKNS_18pending_diagnosticE 168
_ZN3ana12_GLOBAL__N_118deref_before_check21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 173
_ZN3ana12_GLOBAL__N_114use_after_free20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 174
_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_114use_after_free22get_controlling_optionEv 179
_ZNK3ana12_GLOBAL__N_118deref_before_check22get_controlling_optionEv 190
_ZNK3ana12_GLOBAL__N_110null_deref16terminate_path_pEv 193
_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 207
_ZN3ana12_GLOBAL__N_126deallocator_set_map_traits4hashERKPK8auto_vecIPKNS0_11deallocatorELm0EE 222
_ZN3ana12_GLOBAL__N_1L7start_pEPKNS_13state_machine5stateE 248
_ZN3ana12_GLOBAL__N_119possible_null_deref20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 264
_ZN3ana12_GLOBAL__N_110null_deref20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE 278
_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_120malloc_state_machine20on_realloc_with_moveEPNS_12region_modelEPNS_12sm_state_mapEPKNS_6svalueES8_RKNS_15extrinsic_stateE 310
_ZNK3ana12_GLOBAL__N_110null_deref22get_controlling_optionEv 332
_ZNK3ana12_GLOBAL__N_120malloc_state_machine15on_realloc_callERNS_10sm_contextERK5gcall 334
_ZN3ana12_GLOBAL__N_1L23describe_argument_indexEP9tree_nodei 342
_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_114use_after_free21describe_state_changeER14pretty_printerRKNS_6evdesc12state_changeE 384
_ZN3ana12_GLOBAL__N_111double_free4emitERNS_27diagnostic_emission_contextE 393
_ZN3ana12region_model20on_realloc_with_moveERKNS_12call_detailsEPKNS_6svalueES6_ 430
_ZN3ana12_GLOBAL__N_1L20zero_address_valid_pEPK9tree_node 466
_ZNK3ana12_GLOBAL__N_18null_arg8get_kindEv 510
_ZN3ana12_GLOBAL__N_1L8method_pEP9tree_node 675
_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 918
_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 1399
_ZNK3ana12_GLOBAL__N_117possible_null_arg8get_kindEv 1425
_ZNK3ana12_GLOBAL__N_116allocation_state11get_nonnullEv 1551
_ZNK3ana12_GLOBAL__N_114use_after_free8get_kindEv 1582
_ZNK3ana12_GLOBAL__N_117malloc_diagnostic16subclass_equal_pERKNS_18pending_diagnosticE 1858
_ZNK3ana12_GLOBAL__N_124mismatching_deallocation8get_kindEv 2240
_ZNK3ana12_GLOBAL__N_110null_deref8get_kindEv 2382
_ZN3ana12_GLOBAL__N_122assumed_non_null_stateC2EPKcjPKNS_12frame_regionE 2653
_ZNK3ana12_GLOBAL__N_119possible_null_deref8get_kindEv 2697
_ZN3ana12_GLOBAL__N_120malloc_state_machine35maybe_create_custom_deallocator_setEP9tree_node 2885
_ZNK3ana12_GLOBAL__N_120malloc_state_machine18on_zero_assignmentERNS_10sm_contextEP9tree_node 3104
_ZN3ana12_GLOBAL__N_120malloc_state_machineC2EPNS_6loggerE 3486
_ZN3ana25make_malloc_state_machineEPNS_6loggerE 3486
_ZNK3ana12_GLOBAL__N_111double_free8get_kindEv 4089
_ZNK3ana12_GLOBAL__N_111double_free22get_controlling_optionEv 4825
_ZNK3ana12_GLOBAL__N_124standard_deallocator_set10contains_pEPKNS0_11deallocatorE 5482
_ZN3ana12_GLOBAL__N_1L9nonnull_pEPKNS_13state_machine5stateE 6500
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17on_allocator_callERNS_10sm_contextERK5gcallPKNS0_15deallocator_setEb 6913
_ZN3ana12_GLOBAL__N_120malloc_state_machineD0Ev 6972
_ZN3ana12_GLOBAL__N_120malloc_state_machineD0Ev 3486
_ZN3ana12_GLOBAL__N_120malloc_state_machineD2Ev 3486
_ZNK3ana12_GLOBAL__N_111malloc_leak8get_kindEv 7377
_ZNK3ana12_GLOBAL__N_120malloc_state_machine14handle_nonnullERNS_10sm_contextEP9tree_nodeS5_j 8192
_ZN3ana12_GLOBAL__N_1L21as_a_allocation_stateEPKNS_13state_machine5stateE 8898
_ZN3ana12_GLOBAL__N_120malloc_state_machine46get_or_create_assumed_non_null_state_for_frameEPKNS_12frame_regionE 9934
_ZN3ana12_GLOBAL__N_124standard_deallocator_setC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE 10458
_ZN3ana12_GLOBAL__N_115deallocator_setC2EPNS0_20malloc_state_machineENS0_7wordingE 10533
_ZNK3ana12_GLOBAL__N_120malloc_state_machine19on_deallocator_callERNS_10sm_contextERK5gcallPKNS0_11deallocatorEj 11467
_ZN3ana12_GLOBAL__N_1L7freed_pEPKNS_13state_machine5stateE 12986
_ZN3ana12_GLOBAL__N_120standard_deallocatorC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE 13944
_ZN3ana12_GLOBAL__N_111deallocatorC2EPNS0_20malloc_state_machineEPKcNS0_7wordingE 14014
_ZNK3ana12_GLOBAL__N_120malloc_state_machine33reset_when_passed_to_unknown_fn_pEPKNS_13state_machine5stateEb 20243
_ZNK3ana12_GLOBAL__N_120malloc_state_machine12on_pop_frameEPNS_12sm_state_mapEPKNS_12frame_regionE 25910
_ZNK3ana12_GLOBAL__N_120malloc_state_machine21maybe_assume_non_nullERNS_10sm_contextEP9tree_node 26526
_ZN3ana12_GLOBAL__N_120malloc_state_machine36get_or_create_custom_deallocator_setEP9tree_node 28840
_ZN3ana12_GLOBAL__N_120malloc_state_machine20unaffected_by_call_pEP9tree_node 28848
_ZNK3ana12_GLOBAL__N_120malloc_state_machine12on_conditionERNS_10sm_contextEPKNS_6svalueE9tree_codeS6_ 35756
_ZN3ana12_GLOBAL__N_1L11unchecked_pEPKNS_13state_machine5stateE 41486
_ZN3ana12_GLOBAL__N_120malloc_state_machine9add_stateEPKcNS0_14resource_stateEPKNS0_15deallocator_setEPKNS0_11deallocatorE 45538
_ZN3ana12_GLOBAL__N_1L17known_allocator_pEPK9tree_nodeRK5gcall 47083
_ZNK3ana12_GLOBAL__N_120malloc_state_machine24check_call_preconditionsERNS_10sm_contextERKNS_12call_detailsE 59938
_ZNK3ana12_GLOBAL__N_120malloc_state_machine32maybe_get_merged_states_nonequalEPKNS_13state_machine5stateES5_ 133547
_ZN3ana12_GLOBAL__N_1L18assumed_non_null_pEPKNS_13state_machine5stateE 210332
_ZNK3ana12_GLOBAL__N_120malloc_state_machine7on_stmtERNS_10sm_contextEPK6gimple 273003
_ZNK3ana12_GLOBAL__N_120malloc_state_machine11can_purge_pEPKNS_13state_machine5stateE 1488256
_ZN3ana12_GLOBAL__N_1L25dyn_cast_allocation_stateEPKNS_13state_machine5stateE 1762912
_ZN3ana12_GLOBAL__N_1L6get_rsEPKNS_13state_machine5stateE 1762912
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17get_default_stateEPKNS_6svalueE 1763839
_ZNK3ana12_GLOBAL__N_120malloc_state_machine17inherited_state_pEv 1851893

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.