LCOV - code coverage report

Current view: top level - gcc/analyzer - infinite-loop.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 77.5 % 267 207 Test Date: 2024-12-21 13:15:12 Functions: 88.9 % 18 16 Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name	Hit count
_ZNK13infinite_loop7to_jsonEv	0
_ZNK24infinite_loop_diagnostic26maybe_add_sarif_propertiesER12sarif_object	0
_ZN24infinite_loop_diagnostic15add_final_eventEPKN3ana13state_machineEPKNS0_13exploded_nodeERKNS0_14event_loc_infoEP9tree_nodePKNS1_5stateEPNS0_12checker_pathE	79
_ZN24infinite_loop_diagnostic4emitERN3ana27diagnostic_emission_contextE	79
_ZNK24infinite_loop_diagnostic22get_controlling_optionEv	79
_ZNK24infinite_loop_diagnosticeqERKS_	87
_ZN13infinite_loopC2ERKN3ana13exploded_nodeEmOSt6vectorIPKNS0_13exploded_edgeESaIS7_EEPNS0_6loggerE	88
_ZN24infinite_loop_diagnosticC2ESt10unique_ptrI13infinite_loopSt14default_deleteIS1_EE	88
_ZNK30perpetual_start_cfg_edge_event10print_descER14pretty_printer	110
_ZNK18looping_back_event10print_descER14pretty_printer	136
_ZN24infinite_loop_diagnostic20describe_final_eventER14pretty_printerRKN3ana6evdesc11final_eventE	158
_ZNK24infinite_loop_diagnostic8get_kindEv	341
_ZN24infinite_loop_diagnostic37maybe_add_custom_events_for_superedgeERKN3ana13exploded_edgeEPNS0_12checker_pathE	386
_ZN3ana14exploded_graph21detect_infinite_loopsEv	3199
_ZN30infinite_loop_checking_context28on_unusable_in_infinite_loopEv	3279
_ZNK30infinite_loop_checking_context28checking_for_infinite_loop_pEv	4871
_ZL21get_in_edge_back_edgeRKN3ana13exploded_nodeE	358101
_ZL22starts_infinite_loop_pRKN3ana13exploded_nodeERKNS_14exploded_graphEPNS_6loggerE	358101

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.