LCOV - code coverage report
Current view: top level - gcc/analyzer - ops.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 87.0 % 1128 981
Test Date: 2026-05-11 19:44:49 Functions: 87.7 % 122 107
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
_ZN3ana23op_region_model_context15op_path_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS3_EE 0
_ZN3ana26null_assignment_sm_context14set_next_stateEPKNS_6svalueEPKNS_13state_machine5stateEP9tree_node 0
_ZN3ana26null_assignment_sm_context16set_global_stateEPKNS_13state_machine5stateE 0
_ZN3ana26null_assignment_sm_context19get_diagnostic_treeEPKNS_6svalueE 0
_ZN3ana26null_assignment_sm_context19get_fndecl_for_callERK5gcall 0
_ZN3ana26null_assignment_sm_context20on_custom_transitionEPNS_17custom_transitionE 0
_ZN3ana26null_assignment_sm_context26clear_all_per_svalue_stateEv 0
_ZN3ana26null_assignment_sm_context4warnEPKNS_6svalueESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS5_EE 0
_ZNK3ana17operation_context4dumpEv 0
_ZNK3ana20rejected_eh_dispatch10dump_to_ppEP14pretty_printer 0
_ZNK3ana22call_summary_edge_info12update_stateEPNS_13program_stateEPKNS_13exploded_edgeEPNS_20region_model_contextE 0
_ZNK3ana23eh_dispatch_try_edge_op19print_as_edge_labelEP14pretty_printerb 0
_ZNK3ana26null_assignment_sm_context21get_emission_locationEv 0
_ZNK3ana26null_assignment_sm_context21get_new_program_stateEv 0
_ZNK3ana9operation4dumpEv 0
_ZNK3ana27eh_dispatch_allowed_edge_op19print_as_edge_labelEP14pretty_printerb 3
_ZN3ana26null_assignment_sm_context9get_stateEPKNS_6svalueE 5
_ZN3ana27eh_dispatch_allowed_edge_opC2EPNS_9supernodeES2_P8edge_defRK12geh_dispatchP11eh_region_d 12
_ZNK3ana27eh_dispatch_allowed_edge_op20apply_eh_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEP9tree_nodePSt10unique_ptrINS_19rejected_constraintESt14default_deleteISB_EE 16
_ZNK3ana7resx_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 18
_ZNK3ana9setjmp_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 20
_ZNK3ana9setjmp_op7executeERNS_17operation_contextE 34
_ZN3ana13ggoto_edge_opC2EP8edge_defRK5ggotoP9tree_node 36
_ZN3ana23op_region_model_context15op_path_context14terminate_pathEv 42
_ZN3anaL42has_nondefault_cases_for_all_enum_values_pEPK7gswitchP9tree_node 45
_ZNK3ana13ggoto_edge_op19print_as_edge_labelEP14pretty_printerb 60
_ZNK3ana13ggoto_edge_op24maybe_describe_conditionEb 60
_ZNK3ana22call_summary_edge_info10print_descER14pretty_printer 62
_ZNK3ana10longjmp_op7executeERNS_17operation_contextE 63
_ZN3ana14rewind_context14on_data_originEP9tree_node 67
_ZNK3ana23eh_dispatch_try_edge_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 69
_ZNK3ana16phis_for_edge_op19print_as_edge_labelEP14pretty_printerb 87
_ZN3ana26null_assignment_sm_context19get_diagnostic_treeEP9tree_node 115
_ZN3ana26null_assignment_sm_context4warnEP9tree_nodeSt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS4_EE 115
_ZNK3ana13ggoto_edge_op17apply_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 122
_ZNK3ana22call_summary_edge_info12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE 123
_ZN3anaL31has_nondefault_case_for_value_pEPK7gswitchP9tree_node 142
_ZN3ana23eh_dispatch_try_edge_opC2EPNS_9supernodeEP8edge_defRK12geh_dispatchP11eh_region_dP10eh_catch_d 179
_ZN3anaL9get_catchEP11eh_region_dPNS_9supernodeE 179
_ZNK3ana12cxa_throw_op7executeERNS_17operation_contextE 190
_ZN3ana19eh_dispatch_edge_op4makeEPNS_9supernodeES2_P8edge_defRK12geh_dispatch 191
_ZN3ana19eh_dispatch_edge_opC2EPNS_9supernodeENS_9operation4kindEP8edge_defRK12geh_dispatchP11eh_region_d 191
_ZNK3ana18call_and_return_op16get_arg_for_parmEP9tree_nodeS2_PNS_13callsite_exprE 278
_ZNK3ana23eh_dispatch_try_edge_op20apply_eh_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEP9tree_nodePSt10unique_ptrINS_19rejected_constraintESt14default_deleteISB_EE 284
_ZN3anaL24exception_matches_type_pEP9tree_nodeS1_ 330
_ZN3anaL28matches_any_exception_type_pEP10eh_catch_dP9tree_node 353
_ZNK3ana7dump_op7executeERNS_17operation_contextE 357
_ZNK3ana19eh_dispatch_edge_op17apply_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 405
_ZNK3ana16phis_for_edge_op28update_state_for_bulk_mergerERKNS_13program_stateERS1_ 414
_ZNK3ana18call_and_return_op16get_parm_for_argEP9tree_nodeS2_PNS_13callsite_exprE 443
_ZNK3ana18call_and_return_op30map_expr_from_caller_to_calleeEP9tree_nodeS2_PNS_13callsite_exprE 443
_ZNK3ana15control_flow_op24maybe_describe_conditionEb 450
_ZNK3ana14switch_case_op19print_as_edge_labelEP14pretty_printerb 460
_ZNK3ana7resx_op7executeERNS_17operation_contextE 605
_ZNK3ana14switch_case_op28implicitly_created_default_pEv 662
_ZNK3ana18call_and_return_op21replay_call_summariesERNS_17operation_contextER8functionRNS_17per_function_dataEPNS_20region_model_contextE 749
_ZNK3ana10greturn_op23try_to_rewind_data_flowERNS_14rewind_contextE 942
_ZNK3ana10greturn_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 1008
_ZNK3ana14gimple_stmt_op19print_as_edge_labelEP14pretty_printerb 1120
_ZNK3ana26null_assignment_sm_context21get_old_program_stateEv 1276
_ZNK3ana16phis_for_edge_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 1278
_ZNK3ana16phis_for_edge_op23try_to_rewind_data_flowERNS_14rewind_contextE 1290
_ZNK3ana18call_and_return_op30map_expr_from_callee_to_callerEP9tree_nodeS2_PNS_13callsite_exprE 1293
_ZN3ana26null_assignment_sm_context14set_next_stateEP9tree_nodePKNS_13state_machine5stateES2_ 1331
_ZNK3ana18call_and_return_op19replay_call_summaryERNS_17operation_contextER8functionRNS_12call_summaryEPNS_20region_model_contextE 1535
_ZN3ana17impl_path_context14terminate_pathEv 2106
_ZNK3ana15control_flow_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 2690
_ZN3ana14rewind_context12on_data_flowEP9tree_nodeS2_ 2711
_ZN3ana14switch_case_opC2ER8functionP8edge_defRK7gswitchRNS_22bounded_ranges_managerE 2983
_ZN3ana26null_assignment_sm_context9get_stateEP9tree_node 4468
_ZNK3ana10greturn_op23execute_for_feasibilityERKNS_13exploded_edgeERNS_17feasibility_stateEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 4737
_ZN3ana33event_loc_info_for_function_entryERKNS_13program_pointEPKNS_24state_transition_at_callE 5028
_ZNK3ana18call_and_return_op23try_to_rewind_data_flowERNS_14rewind_contextE 5109
_ZN3ana14event_loc_infoC2ERKNS_13program_pointE 5797
_ZNK3ana17operation_context14get_supergraphEv 6830
_ZN3ana13gcond_edge_op24maybe_describe_conditionEbP9tree_node9tree_codeS2_ 6926
_ZNK3ana13gcond_edge_op24maybe_describe_conditionEb 6926
_ZNK3ana13gcond_edge_op19print_as_edge_labelEP14pretty_printerb 7154
_ZNK3ana18call_and_return_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 7376
_ZNK3ana18call_and_return_op19get_any_cgraph_edgeERNS_17operation_contextE 7579
_ZNK3ana14switch_case_op17apply_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 8307
_ZN3ana17impl_path_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE 8489
_ZN3ana16phis_for_edge_opC2EOSt6vectorINS0_4pairESaIS2_EE 9250
_ZNK3ana16phis_for_edge_op24walk_load_store_addr_opsEPvPFbP6gimpleP9tree_nodeS5_S1_ES7_S7_ 9250
_ZNK3ana10gassign_op23try_to_rewind_data_flowERNS_14rewind_contextE 10987
_ZN3ana13gcond_edge_op19should_print_expr_pEP9tree_node 11027
_ZNK3ana16phis_for_edge_op23execute_for_feasibilityERKNS_13exploded_edgeERNS_17feasibility_stateEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 12405
_ZNK3ana26null_assignment_sm_context16get_global_stateEv 13756
_ZN3ana26null_assignment_sm_context18is_zero_assignmentEPK6gimple 13803
_ZNK3ana14gimple_stmt_op24add_any_events_for_eedgeERKNS_13exploded_edgeERNS_12checker_pathE 13944
_ZN3ana13gcond_edge_opC2EP8edge_defRK5gcond 14986
_ZN3ana16phis_for_edge_op10maybe_makeEP8edge_def 15654
_ZN3ana16phis_for_edge_op31get_pairs_for_phi_along_in_edgeEP8edge_def 15654
_ZNK3ana17impl_path_context24get_state_at_bifurcationEv 16906
_ZNK3ana10greturn_op7executeERNS_17operation_contextE 17386
_ZNK3ana15control_flow_op24walk_load_store_addr_opsEPvPFbP6gimpleP9tree_nodeS5_S1_ES7_S7_ 18180
_ZNK3ana16phis_for_edge_op18defines_ssa_name_pEPK9tree_node 20769
_ZN3ana14event_loc_infoC2EPKNS_13exploded_nodeE 20979
_ZNK3ana16phis_for_edge_op7executeERNS_17operation_contextE 21431
_ZNK3ana16phis_for_edge_op12update_stateERKNS_13program_stateERS1_PNS_20region_model_contextE 21845
_ZNK3ana17operation_context17get_initial_pointEv 24965
_ZNK3ana15control_flow_op23execute_for_feasibilityERKNS_13exploded_edgeERNS_17feasibility_stateEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 32913
_ZNK3ana14gimple_stmt_op21supports_bulk_merge_pEv 35465
_ZN3ana18call_and_return_op4makeERK5gcall 42136
_ZNK3ana23op_region_model_context15op_path_context16terminate_path_pEv 45112
_ZNK3ana15control_flow_op7executeERNS_17operation_contextE 51985
_ZNK3ana18call_and_return_op24maybe_get_known_functionERKNS_12call_detailsE 57464
_ZNK3ana18call_and_return_op7executeERNS_17operation_contextE 57464
_ZNK3ana13gcond_edge_op17apply_constraintsEPKNS_9superedgeERNS_12region_modelEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 76064
_ZNK3ana14gimple_stmt_op24walk_load_store_addr_opsEPvPFbP6gimpleP9tree_nodeS5_S1_ES7_S7_ 109672
_ZN3ana23op_region_model_contextC2ERNS_17operation_contextERNS_13program_stateE 110698
_ZNK3ana14gimple_stmt_op23execute_for_feasibilityERKNS_13exploded_edgeERNS_17feasibility_stateEPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS9_EE 127238
_ZNK3ana14gimple_stmt_op7executeERNS_17operation_contextE 156578
_ZNK3ana14gimple_stmt_op18defines_ssa_name_pEPK9tree_node 182207
_ZNK3ana14gimple_stmt_op16execute_on_stateERNS_17operation_contextENS_13program_stateE 206463
_ZN3ana9operation33handle_on_stmt_for_state_machinesERNS_17operation_contextERNS_13program_stateEPNS_12path_contextERbRK6gimple 251575
_ZN3ana17operation_context11add_outcomeERKNS_13program_pointENS_13program_stateEbPNS_13uncertainty_tESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS8_EE 296965
_ZNK3ana17operation_context13get_ext_stateEv 298857
_ZNK3ana17operation_context30get_next_intraprocedural_pointEv 348619
_ZNK3ana17impl_path_context16terminate_path_pEv 429572
_ZNK3ana17operation_context10get_loggerEv 456732
_ZNK3ana17operation_context17get_initial_stateEv 1212146

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.