LCOV - code coverage report
Current view: top level - gcc/analyzer - feasible-graph.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 86.5 % 111 96
Test Date: 2026-02-28 14:20:25 Functions: 90.9 % 11 10
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
_ZNK3ana15infeasible_node8dump_dotEP12graphviz_outRKNS_9fg_traits11dump_args_tE 0
_ZNK3ana14feasible_graph9log_statsEPNS_6loggerE 2
_ZNK3ana14feasible_graph18dump_feasible_pathERKNS_13feasible_nodeEP14pretty_printer 4
_ZNK3ana14feasible_graph18dump_feasible_pathERKNS_13feasible_nodeEPKc 4
_ZNK3ana18base_feasible_edge8dump_dotEP12graphviz_outRKNS_9fg_traits11dump_args_tE 70
_ZNK3ana13feasible_node8dump_dotEP12graphviz_outRKNS_9fg_traits11dump_args_tE 74
_ZNK3ana18base_feasible_node11dump_dot_idEP14pretty_printer 214
_ZN3ana14feasible_graph23add_feasibility_problemEPNS_13feasible_nodeEPKNS_13exploded_edgeESt10unique_ptrINS_19rejected_constraintESt14default_deleteIS7_EE 2257
_ZNK3ana14feasible_graph10make_epathEPNS_13feasible_nodeE 6089
_ZN3ana14feasible_graphC2Ev 6371
_ZN3ana14feasible_graph8add_nodeEPKNS_13exploded_nodeERKNS_17feasibility_stateEj 143639

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.