LCOV - code coverage report
Current view: top level - gcc/analyzer - region-model.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 93.3 % 4180 3900
Test Date: 2024-05-04 14:01:55 Functions: 93.0 % 300 279
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name Sort by function name Hit count Sort by function hit count
_Z5debugRKN3ana12region_modelE 0
_ZN3ana12size_visitor24visit_unmergeable_svalueEPKNS_18unmergeable_svalueE 0
_ZN3ana25noop_region_model_context14terminate_pathEv 0
_ZN3ana25noop_region_model_context8add_noteESt10unique_ptrINS_12pending_noteESt14default_deleteIS2_EE 0
_ZN3ana25noop_region_model_context9add_eventESt10unique_ptrINS_13checker_eventESt14default_deleteIS2_EE 0
_ZN3ana25noop_region_model_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE 0
_ZN3anaL29capacity_compatible_with_typeEP9tree_nodeS1_ 0
_ZN3anaL38unusable_in_infinite_loop_constraint_pEPKNS_6svalueE 0
_ZNK3ana12model_merger10dump_to_ppEP14pretty_printerb 0
_ZNK3ana12model_merger4dumpEP8_IO_FILEb 0
_ZNK3ana12model_merger4dumpEb 0
_ZNK3ana12region_model4dumpEP8_IO_FILEbb 0
_ZNK3ana12region_model4dumpEb 0
_ZNK3ana12region_model5debugEv 0
_ZNK3ana16iterable_cluster10dump_to_ppEP14pretty_printer 0
_ZNK3ana19region_to_value_map4dumpEb 0
_ZNK3ana21rejected_default_case10dump_to_ppEP14pretty_printer 0
_ZNK3ana23dubious_allocation_size26maybe_add_sarif_propertiesER12sarif_object 0
_ZNK3ana26rejected_ranges_constraint10dump_to_ppEP14pretty_printer 0
_ZNK3ana28exposure_through_uninit_copy26maybe_add_sarif_propertiesER12sarif_object 0
_ZNK3ana8fragment10dump_to_ppEP14pretty_printer 0
_ZN3ana28exposure_through_uninit_copy36complain_about_partially_uninit_itemERKNS_13record_layout4itemE 2
_ZNK3ana6engine9log_statsEPNS_6loggerE 2
_ZN3ana8selftest30analyzer_region_model_cc_testsEv 4
_ZN3ana8selftestL11test_allocaEv 4
_ZN3ana8selftestL11test_mallocEv 4
_ZN3ana8selftestL11test_structEv 4
_ZN3ana8selftestL12test_array_1Ev 4
_ZN3ana8selftestL12test_array_2Ev 4
_ZN3ana8selftestL12test_mem_refEv 4
_ZN3ana8selftestL15test_assignmentEv 4
_ZN3ana8selftestL15test_equality_1Ev 4
_ZN3ana8selftestL15test_involves_pEv 4
_ZN3ana8selftestL16test_iteration_1Ev 4
_ZN3ana8selftestL17test_stack_framesEv 4
_ZN3ana8selftestL18test_state_mergingEv 4
_ZN3ana8selftestL20test_descendent_of_pEv 4
_ZN3ana8selftestL20test_unique_unknownsEv 4
_ZN3ana8selftestL21test_unique_constantsEv 4
_ZN3ana8selftestL22test_bit_range_regionsEv 4
_ZN3ana8selftestL23test_canonicalization_2Ev 4
_ZN3ana8selftestL23test_canonicalization_3Ev 4
_ZN3ana8selftestL23test_canonicalization_4Ev 4
_ZN3ana8selftestL23test_constraint_mergingEv 4
_ZN3ana8selftestL23test_malloc_constraintsEv 4
_ZN3ana8selftestL23test_sub_svalue_foldingEv 4
_ZN3ana8selftestL24test_compound_assignmentEv 4
_ZN3ana8selftestL25test_binop_svalue_foldingEv 4
_ZN3ana8selftestL25test_widening_constraintsEv 4
_ZN3ana8selftestL26test_tree_cmp_on_constantsEv 4
_ZN3ana8selftestL27test_initial_svalue_foldingEv 4
_ZN3ana8selftestL27test_unaryop_svalue_foldingEv 4
_ZN3ana8selftestL28test_get_representative_treeEv 4
_ZN3ana8selftestL31test_bits_within_svalue_foldingEv 4
_ZN3ana8selftestL32test_get_representative_path_varEv 4
_ZN3ana8selftestL35test_POINTER_PLUS_EXPR_then_MEM_REFEv 4
_ZN3ana8selftestL8test_varEv 4
_ZN3ana8selftestL9test_dumpEv 4
_ZN3ana31shift_count_overflow_diagnostic4emitERNS_27diagnostic_emission_contextE 5
_ZNK3ana12region_model7to_jsonEv 5
_ZNK3ana19region_to_value_map7to_jsonEv 5
_ZNK3ana22rejected_op_constraint10dump_to_ppEP14pretty_printer 5
_ZN3ana8selftest16assert_conditionERKN8selftest8locationERNS_12region_modelEPKNS_6svalueE9tree_codeS9_8tristate 8
_ZN3ana8selftestL14assert_dump_eqERKN8selftest8locationERKNS_12region_modelEbPKc 8
_ZN3ana8selftestL28append_interesting_constantsEP8auto_vecIP9tree_nodeLm0EE 8
_ZN3ana31shift_count_negative_diagnostic4emitERNS_27diagnostic_emission_contextE 10
_ZN3ana31shift_count_overflow_diagnostic20describe_final_eventERKNS_6evdesc11final_eventE 10
_ZNK3ana31shift_count_overflow_diagnosticeqERKS0_ 10
_ZZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEvENK18reason_format_attr4emitEv 14
_ZN3ana12size_visitor21visit_widening_svalueEPKNS_15widening_svalueE 15
_ZNK3ana31shift_count_overflow_diagnostic22get_controlling_optionEv 15
_ZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEv 15
_ZN3ana8selftest10coord_testC2Ev 16
_ZN3ana8selftestL23make_test_compound_typeEPKcbPK8auto_vecIP9tree_nodeLm0EE 16
_ZN3ana31shift_count_negative_diagnostic20describe_final_eventERKNS_6evdesc11final_eventE 20
_ZN3ana8selftestL19assert_dump_tree_eqERKN8selftest8locationEP9tree_nodePKc 20
_ZNK3ana18reason_attr_access4emitEv 20
_ZNK3ana31shift_count_negative_diagnosticeqERKS0_ 20
_ZNK3ana28exposure_through_uninit_copy27complain_about_uninit_rangeEj16generic_wide_intI22fixed_wide_int_storageILi128EEES4_PKNS_13record_layoutE 22
_ZN3ana28exposure_through_uninit_copy22mark_interesting_stuffEPNS_13interesting_tE 23
_ZN3ana28exposure_through_uninit_copy4emitERNS_27diagnostic_emission_contextE 23
_ZNK3ana28exposure_through_uninit_copy20calc_num_uninit_bitsEv 23
_ZNK3ana28exposure_through_uninit_copy21maybe_emit_fixit_hintEv 23
_ZNK3ana28exposure_through_uninit_copy28complain_about_uninit_rangesEj 23
_ZNK3ana28exposure_through_uninit_copy28inform_number_of_uninit_bitsEj 23
_ZN3ana8selftestL26assert_region_models_mergeEP9tree_nodeS2_S2_PNS_12region_modelEPPKNS_6svalueE 24
_ZN3ana18reason_attr_accessC2EP9tree_nodeRK11attr_access 25
_ZZNK3ana12region_model26check_function_attr_accessEPK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EEEN15annotating_ctxt15add_annotationsEv 25
_ZNK3ana31shift_count_negative_diagnostic22get_controlling_optionEv 30
_ZN3ana17float_as_size_arg4emitERNS_27diagnostic_emission_contextE 31
_ZNK3ana31shift_count_overflow_diagnostic8get_kindEv 35
_ZN3ana12region_model10on_longjmpEPK5gcallS3_iPNS_20region_model_contextE 36
_ZN3ana12region_model9on_setjmpEPK5gcallPKNS_13exploded_nodeEPNS_20region_model_contextE 40
_ZN3ana25write_to_const_diagnostic4emitERNS_27diagnostic_emission_contextE 40
_ZN3ana28exposure_through_uninit_copyC2EPKNS_6regionES3_PKNS_6svalueE 43
_ZN3ana12size_visitor21visit_conjured_svalueEPKNS_15conjured_svalueE 44
_ZN3ana19print_expr_for_userEP14pretty_printerP9tree_node 45
_ZN3ana28exposure_through_uninit_copy20describe_final_eventERKNS_6evdesc11final_eventE 46
_ZN3anaL42has_nondefault_cases_for_all_enum_values_pEPK7gswitchP9tree_node 47
_ZN3ana34write_to_string_literal_diagnostic4emitERNS_27diagnostic_emission_contextE 51
_ZN3ana28exposure_through_uninit_copy32complain_about_fully_uninit_itemERKNS_13record_layout4itemE 53
_ZNK3ana18reason_attr_accesseqERKS0_ 54
_ZNK3ana17float_as_size_arg16subclass_equal_pERKNS_18pending_diagnosticE 57
_ZN3ana17float_as_size_arg20describe_final_eventERKNS_6evdesc11final_eventE 62
_ZN3ana8selftestL26build_real_cst_from_stringEP9tree_nodePKc 64
_ZNK3ana28exposure_through_uninit_copy22get_controlling_optionEv 66
_ZNK3ana31shift_count_negative_diagnostic8get_kindEv 70
_ZNK3ana25poisoned_value_diagnostic15use_of_uninit_pEv 72
_ZN3ana25write_to_const_diagnostic20describe_final_eventERKNS_6evdesc11final_eventE 80
_ZNK3ana25write_to_const_diagnostic22get_controlling_optionEv 80
_ZN3ana12region_model9set_valueEP9tree_nodeS2_PNS_20region_model_contextE 84
_ZNK3ana35imprecise_floating_point_arithmetic22get_controlling_optionEv 88
_ZZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEvENK18reason_format_attr8get_kindEv 90
_ZN3ana12region_model27apply_constraints_for_ggotoERKNS_13cfg_superedgeEPK5ggotoPNS_20region_model_contextE 95
_ZN3ana23dubious_allocation_size26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE 102
_ZN3ana34write_to_string_literal_diagnostic20describe_final_eventERKNS_6evdesc11final_eventE 102
_ZN3anaL26maybe_simplify_upper_boundEPKNS_6svalueEPNS_20region_model_managerE 103
_ZNK3ana18reason_attr_access8get_kindEv 108
_ZNK3ana34write_to_string_literal_diagnostic22get_controlling_optionEv 112
_ZN3ana23dubious_allocation_size22mark_interesting_stuffEPNS_13interesting_tE 127
_ZN3ana23dubious_allocation_size4emitERNS_27diagnostic_emission_contextE 127
_ZN3ana12region_model25update_for_nonzero_returnERKNS_12call_detailsE 133
_ZNK3ana12region_model19get_rvalue_for_bitsEP9tree_nodePKNS_6regionERKNS_9bit_rangeEPNS_20region_model_contextE 146
_ZN3anaL31has_nondefault_case_for_value_pEPK7gswitchP9tree_node 147
_ZN3ana12region_model29maybe_complain_about_infoleakEPKNS_6regionEPKNS_6svalueES3_PNS_20region_model_contextE 152
_ZN3anaL17contains_uninit_pEPKNS_6svalueE 152
_ZNK3ana23dubious_allocation_sizeeqERKS0_ 152
_ZNK3ana28exposure_through_uninit_copy8get_kindEv 152
_ZN3anaL48inform_about_expected_null_terminated_string_argERKNS_16call_arg_detailsE 173
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK31null_terminator_check_decl_note4emitEv 173
_ZNK3ana25write_to_const_diagnostic8get_kindEv 182
_ZNK3ana17float_as_size_arg8get_kindEv 202
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEEN15annotating_ctxt15add_annotationsEv 202
_ZN3ana30region_model_context_decorator9add_eventESt10unique_ptrINS_13checker_eventESt14default_deleteIS2_EE 211
_ZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEj 228
_ZN3ana12region_model50check_one_function_attr_null_terminated_string_argEPK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EES5_ 230
_ZNK3ana34write_to_string_literal_diagnostic8get_kindEv 239
_ZN3ana23dubious_allocation_size20describe_final_eventERKNS_6evdesc11final_eventE 254
_ZN3ana8selftestL7get_bitEPNS_20region_model_managerE16generic_wide_intI22fixed_wide_int_storageILi128EEEm 256
_ZN3ana12region_model21maybe_get_copy_boundsEPKNS_6regionEPKNS_6svalueE 264
_ZNK3ana23dubious_allocation_size22get_controlling_optionEv 279
_ZN3anaL30string_cst_has_null_terminatorEP9tree_nodeRKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEE 336
_ZNK3ana12region_model27compare_initial_and_pointerEPKNS_14initial_svalueEPKNS_13region_svalueE 337
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK27null_terminator_check_event8get_descEb 346
_ZN3ana12region_model22mark_region_as_unknownEPKNS_6regionEPNS_13uncertainty_tE 354
_ZN3ana12region_model22update_for_zero_returnERKNS_12call_detailsEb 416
_ZN3ana12size_visitor20visit_unaryop_svalueEPKNS_14unaryop_svalueE 488
_ZN3ana12region_model9set_errnoERKNS_12call_detailsE 525
_ZN3ana31contains_floating_point_visitor21visit_conjured_svalueEPKNS_15conjured_svalueE 531
_ZN3ana12region_model10copy_bytesEPKNS_6regionES3_P9tree_nodePKNS_6svalueEPNS_20region_model_contextE 532
_ZNK3ana23dubious_allocation_size8get_kindEv 612
_ZN3ana12size_visitor20visit_initial_svalueEPKNS_14initial_svalueE 620
_ZN3ana8fragment8cmp_ptrsEPKvS2_ 630
_ZN3ana12region_model24create_region_for_allocaEPKNS_6svalueEPNS_20region_model_contextE 651
_ZN3ana25poisoned_value_diagnostic22mark_interesting_stuffEPNS_13interesting_tE 654
_ZN3ana25poisoned_value_diagnostic4emitERNS_27diagnostic_emission_contextE 654
_ZNK3ana19region_to_value_map10dump_to_ppEP14pretty_printerbb 690
_ZN3anaL37svalue_byte_range_has_null_terminatorEPKNS_6svalueERKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_6loggerE 750
_ZN3anaL39svalue_byte_range_has_null_terminator_1EPKNS_6svalueERKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_6loggerE 750
_ZN3ana12region_model11fill_regionEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE 794
_ZN3ana12size_visitor21visit_constant_svalueEPKNS_15constant_svalueE 812
_ZN3ana12size_visitor14check_constantEP9tree_nodePKNS_6svalueE 822
_ZN3ana12size_visitor18visit_binop_svalueEPKNS_12binop_svalueE 826
_ZNK3ana12region_model23get_representative_treeEPKNS_6regionE 894
_ZN3ana12region_model16zero_fill_regionEPKNS_6regionEPNS_20region_model_contextE 940
_ZN3anaL26due_to_ifn_deferred_init_pEPK7gassign 1066
_ZN3anaL29within_short_circuited_stmt_pEPKNS_12region_modelEPK7gassign 1078
_ZN3ana12region_model25update_for_int_cst_returnERKNS_12call_detailsEib 1116
_ZNK3ana12region_model10read_bytesEPKNS_6regionEP9tree_nodePKNS_6svalueEPNS_20region_model_contextE 1196
_ZN3ana12model_merger17on_widening_reuseEPKNS_15widening_svalueE 1214
_ZN3ana12size_visitorC2EP9tree_nodePKNS_6svalueEPNS_18constraint_managerE 1290
_ZN3anaL11is_round_upEP9tree_nodePKNS_6svalueE 1300
_ZN3anaL13is_multiple_pEP9tree_nodePKNS_6svalueE 1300
_ZN3anaL19is_dubious_capacityEP9tree_nodePKNS_6svalueEPNS_18constraint_managerE 1300
_ZN3ana25poisoned_value_diagnostic20describe_final_eventERKNS_6evdesc11final_eventE 1308
_ZNK3ana12region_model18get_known_functionE11internal_fn 1345
_ZN3ana12region_model46check_function_attr_null_terminated_string_argEPK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EE 1458
_ZNK3ana12region_model26check_function_attr_accessEPK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EE 1458
_ZNK3ana25poisoned_value_diagnostic19check_valid_fpath_pERKNS_13feasible_nodeEPK6gimple 1482
_ZN3ana31contains_floating_point_visitor20visit_initial_svalueEPKNS_14initial_svalueE 1544
_ZNK3ana25poisoned_value_diagnostic16terminate_path_pEv 1662
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK31null_terminator_check_decl_note8get_kindEv 1678
_ZN3ana16dump_quoted_treeEP14pretty_printerP9tree_node 1715
_ZNK3ana12region_model28get_region_for_poisoned_exprEP9tree_node 1905
_ZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_node 1911
_ZN3ana12region_model19replay_call_summaryERNS_19call_summary_replayERKS0_ 1951
_ZN3ana12region_model11write_bytesEPKNS_6regionEPKNS_6svalueES6_PNS_20region_model_contextE 2062
_ZNK3ana12region_model10dump_to_ppEP14pretty_printerbb 2165
_ZNK3ana25poisoned_value_diagnostic22get_controlling_optionEv 2316
_ZN3anaL29capacity_compatible_with_typeEP9tree_nodeS1_b 2612
_ZN3ana8selftest16assert_conditionERKN8selftest8locationERNS_12region_modelEP9tree_node9tree_codeS8_8tristate 3084
_ZN3ana12region_model31apply_constraints_for_exceptionEPK6gimplePNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS7_EE 3313
_ZN3anaL24get_tree_for_byte_offsetEP9tree_node16generic_wide_intI22fixed_wide_int_storageILi128EEE 3384
_ZN3ana6engineC2EPKNS_10supergraphEPNS_6loggerE 3732
_ZN3ana16iterable_clusterC2EPKNS_15binding_clusterE 4245
_ZN3ana8fragmentC2Ev 4435
_ZNK3ana16iterable_cluster21get_fragment_for_byteE16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_8fragmentE 4435
_ZN3ana17print_quoted_typeEP14pretty_printerP9tree_node 4492
_ZN3anaL34struct_or_union_with_inheritance_pEP9tree_node 4517
_ZNK3ana25poisoned_value_diagnostic8get_kindEv 5219
_ZN3ana12region_model14clobber_regionEPKNS_6regionE 7055
_ZN3ana12region_model27update_for_return_superedgeERKNS_16return_superedgeEPNS_20region_model_contextE 8418
_ZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueE 8547
_ZN3ana12region_model23update_for_return_gcallEPK5gcallPNS_20region_model_contextE 8663
_ZNK3ana12region_model15get_store_bytesEPKNS_6regionERKNS_10byte_rangeEPNS_20region_model_contextE 8763
_ZNK3ana12region_model24scan_for_null_terminatorEPKNS_6regionEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextE 9216
_ZNK3ana12region_model26scan_for_null_terminator_1EPKNS_6regionEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextE 9216
_ZN3ana31contains_floating_point_visitor21visit_constant_svalueEPKNS_15constant_svalueE 9584
_ZN3ana12region_model29apply_constraints_for_gswitchERKNS_20switch_cfg_superedgeEPK7gswitchPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteISA_EE 9592
_ZNK3ana12region_model29check_dynamic_size_for_floatsEPKNS_6svalueEPNS_20region_model_contextE 10332
_ZN3ana12region_model17loop_replay_fixupEPKS0_ 10837
_ZN3ana12region_model25update_for_call_superedgeERKNS_14call_superedgeEPNS_20region_model_contextE 11052
_ZN3ana12region_model16update_for_gcallEPK5gcallPNS_20region_model_contextEP8function 11338
_ZN3ana12region_model20check_function_attrsEPK5gcallP9tree_nodePNS_20region_model_contextE 14311
_ZN3ana12region_model35get_or_create_region_for_heap_allocEPKNS_6svalueEPNS_20region_model_contextEbPKNS_12call_detailsE 15109
_ZN3ana12region_model19set_dynamic_extentsEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE 16442
_ZN3ana14compat_types_pEP9tree_nodeS1_ 16704
_ZNK3ana12region_model29get_representative_path_var_1EPKNS_6svalueEP8hash_setIS3_Lb0E19default_hash_traitsIS3_EE 16867
_ZNK3ana12region_model23get_representative_treeEPKNS_6svalueE 17571
_ZNK3ana12region_model19structural_equalityEPKNS_6svalueES3_ 17726
_ZNK3ana12region_model27get_referenced_base_regionsER11auto_bitmap 18883
_ZN3anaL18is_positive_svalueEPKNS_6svalueE 19580
_ZN3ana12region_modelaSERKS0_ 20095
_ZN3ana19region_to_value_mapaSERKS0_ 20095
_ZNK3ana12region_model21symbolic_greater_thanEPKNS_12binop_svalueEPKNS_6svalueE 20481
_ZNK3ana12region_model27get_representative_path_varEPKNS_6regionEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EE 20539
_ZNK3ana12region_model29get_representative_path_var_1EPKNS_6regionEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EE 20539
_ZN3ana12region_model9pop_frameEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextEb 21216
_ZN3ana12region_model18on_top_level_paramEP9tree_nodebPNS_20region_model_contextE 21456
_ZN3ana12region_model24handle_unrecognized_callEPK5gcallPNS_20region_model_contextE 21938
_ZN3ana12region_model9on_returnEPK7greturnPNS_20region_model_contextE 22546
_ZNK3ana12region_model20get_current_functionEv 22770
_ZNK3ana12region_model27get_representative_path_varEPKNS_6svalueEP8hash_setIS3_Lb0E19default_hash_traitsIS3_EE 23056
_ZN3ana12region_model10push_frameERK8functionPK3vecIPKNS_6svalueE7va_heap6vl_ptrEPNS_20region_model_contextE 33783
_ZN3ana12region_model29unbind_region_and_descendentsEPKNS_6regionENS_11poison_kindE 34788
_ZN3ana12region_model34poison_any_pointers_to_descendentsEPKNS_6regionENS_11poison_kindE 34788
_ZN3ana9dump_treeEP14pretty_printerP9tree_node 36835
_ZNK3ana12region_model14eval_conditionEP9tree_node9tree_codeS2_PNS_20region_model_contextE 37382
_ZN3ana12region_model21purge_state_involvingEPKNS_6svalueEPNS_20region_model_contextE 39939
_ZN3ana19region_to_value_map21purge_state_involvingEPKNS_6svalueE 39939
_ZN3ana12region_model26add_constraints_from_binopEPKNS_6svalueE9tree_codeS3_PbPNS_20region_model_contextE 59708
_ZNK3ana12region_model15check_call_argsERKNS_12call_detailsE 66275
_ZN3ana12region_model21unset_dynamic_extentsEPKNS_6regionE 68874
_ZNK3ana12region_model19get_dynamic_extentsEPKNS_6regionE 72398
_ZN3ana12region_model27apply_constraints_for_gcondERKNS_13cfg_superedgeEPK5gcondPNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteISA_EE 74781
_ZN3ana12region_model14add_constraintEP9tree_node9tree_codeS2_PNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS7_EE 74791
_ZN3ana12region_model14add_constraintEP9tree_node9tree_codeS2_PNS_20region_model_contextE 75928
_ZNK3ana19region_to_value_map16can_merge_with_pERKS0_PS0_ 79563
_ZN3ana12region_model14add_constraintEPKNS_6svalueE9tree_codeS3_PNS_20region_model_contextE 85495
_ZN3ana12region_model10handle_phiEPK4gphiP9tree_nodeS5_RKS0_R8hash_setIPKNS_6svalueELb0E19default_hash_traitsISB_EEPNS_20region_model_contextE 90274
_ZN3ana12region_model11on_call_preEPK5gcallPNS_20region_model_contextE 96663
_ZN3ana12region_model12on_call_postEPK5gcallbPNS_20region_model_contextE 96778
_ZN3ana18bad_pointer_finder10on_bindingEPKNS_11binding_keyERPKNS_6svalueE 134197
_ZNK3ana12region_model12deref_rvalueEPKNS_6svalueEP9tree_nodePNS_20region_model_contextEb 151205
_ZN3ana12region_model15update_for_phisEPKNS_9supernodeEPKNS_13cfg_superedgeEPNS_20region_model_contextE 177773
_ZNK3ana12region_model16can_merge_with_pERKS0_RKNS_13program_pointEPS0_PKNS_15extrinsic_stateEPKNS_13program_stateESC_ 180246
_ZN3anaL13is_any_cast_pEPK6gimple 190542
_ZN3ana12region_model21maybe_update_for_edgeERKNS_9superedgeEPK6gimplePNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteISA_EE 213419
_ZN3ana12region_model12purge_regionEPKNS_6regionE 213428
_ZNK3ana12region_model14eval_conditionEPKNS_6svalueE9tree_codeS3_ 229190
_ZNK3ana12region_model25check_for_writable_regionEPKNS_6regionEPNS_20region_model_contextE 231371
_ZNK3ana12region_model14get_builtin_kfEPK5gcallPNS_20region_model_contextE 233749
_ZN3ana12region_model13on_assignmentEPK7gassignPNS_20region_model_contextE 254546
_ZN3ana12region_model11on_stmt_preEPK6gimplePbPNS_20region_model_contextE 284240
_ZNK3ana12region_model18called_from_main_pEv 353396
_ZNK3ana12region_model28get_initial_value_for_globalEPKNS_6regionE 364771
_ZNK3ana12region_model17check_region_sizeEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE 374306
_ZN3ana12region_model9set_valueEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE 374331
_ZNK3ana12region_model22check_region_for_writeEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE 376241
_ZN3ana12region_modelC2EPNS_20region_model_managerE 404121
_ZNK3ana12region_model18get_known_functionEP9tree_nodeRKNS_12call_detailsE 423143
_ZNK3ana12region_model15canonicalized_pEv 426533
_ZN3ana12region_model18get_gassign_resultEPK7gassignPNS_20region_model_contextE 439672
_ZNK3ana12model_merger18mergeable_svalue_pEPKNS_6svalueE 443327
_ZNK3ana12region_modeleqERKS0_ 513239
_ZNK3ana12region_model29get_regions_for_current_frameEP8auto_vecIPKNS_11decl_regionELm0EE 713702
_ZNK3ana19region_to_value_mapeqERKS0_ 782796
_ZNK3ana12region_model12get_capacityEPKNS_6regionE 820846
_ZN3ana12region_model19get_fndecl_for_callEPK5gcallPNS_20region_model_contextE 1057068
_ZN3ana12region_model12canonicalizeEv 1215744
_ZN3ana12region_model21get_reachable_svaluesEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EES4_PKNS_13uncertainty_tE 1369808
_ZNK3ana12region_model4hashEv 1387400
_ZNK3ana12region_model10get_lvalueEP9tree_nodePNS_20region_model_contextE 1759161
_ZNK3ana12region_model18get_frame_at_indexEi 1871072
_ZNK3ana12region_model8validateEv 1960041
_ZNK3ana12region_model15region_exists_pEPKNS_6regionE 2805920
_ZNK3ana12region_model10get_lvalueENS_8path_varEPNS_20region_model_contextE 2825158
_ZNK3ana12region_model12get_lvalue_1ENS_8path_varEPNS_20region_model_contextE 2825158
_ZNK3ana12region_model12get_rvalue_1ENS_8path_varEPNS_20region_model_contextE 3306981
_ZNK3ana12region_model10get_rvalueEP9tree_nodePNS_20region_model_contextE 3356977
_ZNK3ana12region_model10get_rvalueENS_8path_varEPNS_20region_model_contextE 3357546
_ZNK3ana12region_model16check_for_poisonEPKNS_6svalueEP9tree_nodePKNS_6regionEPNS_20region_model_contextE 3560854
_ZN3ana12region_modelC2ERKS0_ 4191059
_ZN3ana12region_model17append_regions_cbEPKNS_6regionEPNS_22append_regions_cb_dataE 4278590
_ZNK3ana12region_model21check_region_for_readEPKNS_6regionEPNS_20region_model_contextE 4403575
_ZNK3ana12region_model15get_store_valueEPKNS_6regionEPNS_20region_model_contextE 4403628
_ZN3ana12region_modelD2Ev 4595180
_ZNK3ana12region_model19check_region_accessEPKNS_6regionENS_16access_directionEPKNS_6svalueEPNS_20region_model_contextE 4779816
_ZNK3ana12region_model15get_stack_depthEv 5981098
_ZN3anaL19assert_compat_typesEP9tree_nodeS1_ 6148581

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.