LCOV - code coverage report

Current view: top level - gcc/analyzer - infinite-recursion.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 92.5 % 214 198 Test Date: 2026-02-28 14:20:25 Functions: 94.7 % 19 18 Legend: Lines:     hit not hit

Function Name	Hit count
_ZL15is_entrypoint_pPN3ana13exploded_nodeE	310500
_ZL18contains_unknown_pPKN3ana6svalueE	6458
_ZL21remap_enclosing_framePKN3ana6regionEPKNS_12frame_regionES5_PNS_20region_model_managerE	983
_ZL24sufficiently_different_pPN3ana13exploded_nodeES1_PNS_6loggerE	1216
_ZL39sufficiently_different_region_binding_pPN3ana13exploded_nodeES1_PKNS_6regionE	3983
_ZN29infinite_recursion_diagnostic15add_final_eventEPKN3ana13state_machineEPKNS0_13exploded_nodeERKNS0_14event_loc_infoEP9tree_nodePKNS1_5stateEPNS0_12checker_pathE	147
_ZN29infinite_recursion_diagnostic20describe_final_eventER14pretty_printerRKN3ana6evdesc11final_eventE	294
_ZN29infinite_recursion_diagnostic24add_function_entry_eventERKN3ana13exploded_edgeEPNS0_12checker_pathE	385
_ZN29infinite_recursion_diagnostic27expr_uses_conjured_svalue_pERKN3ana12region_modelEP9tree_node	900
_ZN29infinite_recursion_diagnostic28fedge_uses_conjured_svalue_pEPN3ana13feasible_edgeE	2682
_ZN29infinite_recursion_diagnostic4emitERN3ana27diagnostic_emission_contextE	147
_ZN3ana14exploded_graph25detect_infinite_recursionEPNS_13exploded_nodeE	294796
_ZNK29infinite_recursion_diagnostic19check_valid_fpath_pERKN3ana13feasible_nodeE	474
_ZNK29infinite_recursion_diagnostic22get_controlling_optionEv	629
_ZNK29infinite_recursion_diagnostic26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE	0
_ZNK29infinite_recursion_diagnostic8get_kindEv	2771
_ZNK3ana14exploded_graph22find_previous_entry_toEP8functionPNS_13exploded_nodeE	1216
_ZZN29infinite_recursion_diagnostic24add_function_entry_eventERKN3ana13exploded_edgeEPNS0_12checker_pathEENK30recursive_function_entry_event10print_descER14pretty_printer	588
_ZZN29infinite_recursion_diagnostic27expr_uses_conjured_svalue_pERKN3ana12region_modelEP9tree_nodeEN22conjured_svalue_finder21visit_conjured_svalueEPKNS0_15conjured_svalueE	66

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.