LCOV - code coverage report

Current view: top level - gcc/analyzer - region-model.cc (source / functions) Coverage Total Hit Test: gcc.info Lines: 92.2 % 4484 4135 Test Date: 2026-02-28 14:20:25 Functions: 92.9 % 324 301 Legend: Lines:     hit not hit

Function Name	Hit count
_Z5debugRKN3ana12region_modelE	0
_ZN3ana12region_model9on_returnEPK7greturnPNS_20region_model_contextE	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
_ZNK3ana12model_merger10dump_to_ppEP14pretty_printerb	0
_ZNK3ana12model_merger4dumpEP8_IO_FILEb	0
_ZNK3ana12model_merger4dumpEb	0
_ZNK3ana12region_model4dumpEP8_IO_FILEbb	0
_ZNK3ana12region_model4dumpEb	0
_ZNK3ana12region_model4dumpEv	0
_ZNK3ana12region_model5debugEv	0
_ZNK3ana14exception_node16make_dump_widgetERKN8text_art16dump_widget_infoE	0
_ZNK3ana14exception_node4dumpEP8_IO_FILEb	0
_ZNK3ana14exception_node4dumpEb	0
_ZNK3ana14exception_node4dumpEv	0
_ZNK3ana14exception_node7to_jsonEv	0
_ZNK3ana19region_to_value_map4dumpEb	0
_ZNK3ana21rejected_default_case10dump_to_ppEP14pretty_printer	0
_ZNK3ana23dubious_allocation_size26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE	0
_ZNK3ana26rejected_ranges_constraint10dump_to_ppEP14pretty_printer	0
_ZNK3ana28exposure_through_uninit_copy26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE	0
_ZN3ana28exposure_through_uninit_copy36complain_about_partially_uninit_itemERKNS_13record_layout4itemE	2
_ZNK3ana16iterable_cluster10dump_to_ppEP14pretty_printer	2
_ZNK3ana8fragment10dump_to_ppEP14pretty_printer	2
_ZN3ana31shift_count_overflow_diagnostic4emitERNS_27diagnostic_emission_contextE	4
_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
_ZNK3ana12region_model16make_dump_widgetERKN8text_art16dump_widget_infoE	4
_ZNK3ana12region_model7to_jsonEv	4
_ZNK3ana19region_to_value_map16make_dump_widgetERKN8text_art16dump_widget_infoE	4
_ZNK3ana19region_to_value_map7to_jsonEv	4
_ZNK3ana22rejected_op_constraint10dump_to_ppEP14pretty_printer	4
_ZNK3ana6engine9log_statsEPNS_6loggerE	5
_ZNK3ana14exception_node10dump_to_ppEP14pretty_printerb	6
_ZN3ana31shift_count_negative_diagnostic4emitERNS_27diagnostic_emission_contextE	8
_ZN3ana31shift_count_overflow_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	8
_ZN3ana8selftest16assert_conditionERKN8selftest8locationERNS_12region_modelEPKNS_6svalueE9tree_codeS9_8tristate	8
_ZN3ana8selftestL14assert_dump_eqERKN8selftest8locationERKNS_12region_modelEbPKc	8
_ZN3ana8selftestL28append_interesting_constantsEP8auto_vecIP9tree_nodeLm0EE	8
_ZNK3ana25poisoned_value_diagnostic26maybe_add_sarif_propertiesERN11diagnostics12sarif_objectE	8
_ZNK3ana31shift_count_overflow_diagnosticeqERKS0_	8
_ZNK3ana14caller_context29get_pending_location_for_diagEv	9
_ZN3ana12size_visitor21visit_widening_svalueEPKNS_15widening_svalueE	12
_ZNK3ana31shift_count_overflow_diagnostic22get_controlling_optionEv	12
_ZNK3ana39exception_thrown_from_unrecognized_call5printEP14pretty_printer	12
_ZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEv	13
_ZZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEvENK18reason_format_attr4emitEv	13
_ZN3ana17jump_through_null4emitERNS_27diagnostic_emission_contextE	16
_ZN3ana31shift_count_negative_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	16
_ZN3ana8selftest10coord_testC2Ev	16
_ZN3ana8selftestL23make_test_compound_typeEPKcbPK8auto_vecIP9tree_nodeLm0EE	16
_ZNK3ana31shift_count_negative_diagnosticeqERKS0_	16
_ZNK3ana18reason_attr_access4emitEv	18
_ZN3ana8selftestL19assert_dump_tree_eqERKN8selftest8locationEP9tree_nodePKc	20
_ZN3ana8selftestL26assert_region_models_mergeEP9tree_nodeS2_S2_PNS_12region_modelEPPKNS_6svalueE	20
_ZN3ana18reason_attr_accessC2EP9tree_nodeRK11attr_access	22
_ZZNK3ana12region_model26check_function_attr_accessERK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EEEN15annotating_ctxt15add_annotationsEv	22
_ZNK3ana39exception_thrown_from_unrecognized_call18add_events_to_pathEPNS_12checker_pathERKNS_13exploded_edgeERNS_18pending_diagnosticE	23
_ZNK3ana28exposure_through_uninit_copy27complain_about_uninit_rangeEm16generic_wide_intI22fixed_wide_int_storageILi128EEES4_PKNS_13record_layoutE	24
_ZNK3ana31shift_count_negative_diagnostic22get_controlling_optionEv	24
_ZN3ana17float_as_size_arg4emitERNS_27diagnostic_emission_contextE	25
_ZN3ana28exposure_through_uninit_copy22mark_interesting_stuffEPNS_13interesting_tE	25
_ZN3ana28exposure_through_uninit_copy4emitERNS_27diagnostic_emission_contextE	25
_ZN3ana28exposure_through_uninit_copyC2EPKNS_6regionES3_PKNS_6svalueE	25
_ZNK3ana17float_as_size_arg16subclass_equal_pERKNS_18pending_diagnosticE	25
_ZNK3ana28exposure_through_uninit_copy20calc_num_uninit_bitsEv	25
_ZNK3ana28exposure_through_uninit_copy21maybe_emit_fixit_hintEv	25
_ZNK3ana28exposure_through_uninit_copy28complain_about_uninit_rangesEm	25
_ZNK3ana28exposure_through_uninit_copy28inform_number_of_uninit_bitsEm	25
_ZN3ana28undefined_ptrdiff_diagnostic22mark_interesting_stuffEPNS_13interesting_tE	28
_ZN3ana28undefined_ptrdiff_diagnostic4emitERNS_27diagnostic_emission_contextE	28
_ZN3ana12size_visitor21visit_conjured_svalueEPKNS_15conjured_svalueE	30
_ZN3ana12region_model10on_longjmpERK5gcallS3_iPNS_20region_model_contextE	31
_ZN3ana17jump_through_null20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	32
_ZNK3ana17jump_through_null22get_controlling_optionEv	32
_ZN3ana25write_to_const_diagnostic4emitERNS_27diagnostic_emission_contextE	33
_ZN3ana12region_model9on_setjmpERK5gcallRKNS_13exploded_nodeERKNS_9superedgeEPNS_20region_model_contextE	34
_ZNK3ana31shift_count_overflow_diagnostic8get_kindEv	36
_ZN3ana19print_expr_for_userEP14pretty_printerP9tree_node	38
_ZN3ana34write_to_string_literal_diagnostic4emitERNS_27diagnostic_emission_contextE	43
_ZN3ana17float_as_size_arg20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	50
_ZN3ana28exposure_through_uninit_copy20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	50
_ZNK3ana28exposure_through_uninit_copy22get_controlling_optionEv	50
_ZNK3ana35imprecise_floating_point_arithmetic22get_controlling_optionEv	50
_ZN3ana28exposure_through_uninit_copy32complain_about_fully_uninit_itemERKNS_13record_layout4itemE	53
_ZN3anaL26maybe_simplify_upper_boundEPKNS_6svalueEPNS_20region_model_managerE	53
_ZN3ana28undefined_ptrdiff_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	56
_ZN3ana28undefined_ptrdiff_diagnostic26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE	56
_ZNK3ana28undefined_ptrdiff_diagnosticeqERKS0_	56
_ZNK3ana18reason_attr_accesseqERKS0_	58
_ZN3ana8selftestL26build_real_cst_from_stringEP9tree_nodePKc	64
_ZNK3ana14exception_node24add_to_reachable_regionsERNS_17reachable_regionsE	64
_ZN3ana25write_to_const_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	66
_ZNK3ana25write_to_const_diagnostic22get_controlling_optionEv	66
_ZNK3ana25poisoned_value_diagnostic15use_of_uninit_pEv	70
_ZZZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_nodeEN15annotating_ctxt15add_annotationsEvENK18reason_format_attr8get_kindEv	74
_ZN3ana25noop_region_model_context9bifurcateESt10unique_ptrINS_16custom_edge_infoESt14default_deleteIS2_EE	78
_ZN3ana12region_model29maybe_complain_about_infoleakEPKNS_6regionEPKNS_6svalueES3_PNS_20region_model_contextE	80
_ZN3anaL17contains_uninit_pEPKNS_6svalueE	80
_ZN3ana12region_model9set_valueEP9tree_nodeS2_PNS_20region_model_contextE	84
_ZNK3ana28undefined_ptrdiff_diagnostic22get_controlling_optionEv	84
_ZN3ana34write_to_string_literal_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	86
_ZNK3ana34write_to_string_literal_diagnostic22get_controlling_optionEv	94
_ZN3ana23dubious_allocation_size26add_region_creation_eventsEPKNS_6regionEP9tree_nodeRKNS_14event_loc_infoERNS_12checker_pathE	107
_ZN3ana23dubious_allocation_size22mark_interesting_stuffEPNS_13interesting_tE	111
_ZN3ana23dubious_allocation_size4emitERNS_27diagnostic_emission_contextE	111
_ZNK3ana23dubious_allocation_sizeeqERKS0_	111
_ZNK3ana28undefined_ptrdiff_diagnostic29ptrdiff_region_creation_event10print_descER14pretty_printer	112
_ZNK3ana18reason_attr_access8get_kindEv	116
_ZNK3ana31shift_count_negative_diagnostic8get_kindEv	120
_ZNK3ana12region_model19get_rvalue_for_bitsEP9tree_nodePKNS_6regionERKNS_9bit_rangeEPNS_20region_model_contextE	130
_ZN3ana12region_model25update_for_nonzero_returnERKNS_12call_detailsE	133
_ZN3ana12region_model21maybe_get_copy_boundsEPKNS_6regionEPKNS_6svalueE	144
_ZN3anaL48inform_about_expected_null_terminated_string_argERKNS_16call_arg_detailsE	147
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK31null_terminator_check_decl_note4emitEv	147
_ZNK3ana17jump_through_null8get_kindEv	152
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEEN15annotating_ctxt15add_annotationsEv	159
_ZN3ana30region_model_context_decorator9add_eventESt10unique_ptrINS_13checker_eventESt14default_deleteIS2_EE	167
_ZNK3ana12region_model20get_current_functionEv	184
_ZN3ana12region_model50check_one_function_attr_null_terminated_string_argERK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EES5_	200
_ZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEj	207
_ZN3ana23dubious_allocation_size20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	222
_ZNK3ana23dubious_allocation_size22get_controlling_optionEv	222
_ZN3ana12size_visitor20visit_unaryop_svalueEPKNS_14unaryop_svalueE	250
_ZNK3ana12region_model27compare_initial_and_pointerEPKNS_14initial_svalueEPKNS_13region_svalueE	250
_ZN3ana12region_model22mark_region_as_unknownEPKNS_6regionEPNS_13uncertainty_tE	253
_ZN3ana8selftestL7get_bitEPNS_20region_model_managerE16generic_wide_intI22fixed_wide_int_storageILi128EEEm	256
_ZN3anaL30string_cst_has_null_terminatorEP9tree_nodeRKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEE	284
_ZN3ana12region_model22update_for_zero_returnERKNS_12call_detailsEb	286
_ZNK3ana28exposure_through_uninit_copy8get_kindEv	294
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK27null_terminator_check_event10print_descER14pretty_printer	300
_ZN3ana12size_visitor20visit_initial_svalueEPKNS_14initial_svalueE	303
_ZNK3ana17float_as_size_arg8get_kindEv	305
_ZNK3ana34write_to_string_literal_diagnostic8get_kindEv	337
_ZNK3ana28undefined_ptrdiff_diagnostic8get_kindEv	380
_ZN3anaL29capacity_compatible_with_typeEP9tree_nodeS1_	394
_ZN3ana12size_visitor18visit_binop_svalueEPKNS_12binop_svalueE	406
_ZN3ana12size_visitor21visit_constant_svalueEPKNS_15constant_svalueE	410
_ZNK3ana19region_to_value_map10dump_to_ppEP14pretty_printerbb	416
_ZN3ana12size_visitor14check_constantEP9tree_nodePKNS_6svalueE	418
_ZNK3ana25write_to_const_diagnostic8get_kindEv	421
_ZN3ana12region_model24create_region_for_allocaEPKNS_6svalueEPNS_20region_model_contextE	426
_ZN3ana12region_model9set_errnoERKNS_12call_detailsE	431
_ZNK3ana14exception_node14maybe_get_typeEv	466
_ZN3ana31contains_floating_point_visitor21visit_conjured_svalueEPKNS_15conjured_svalueE	496
_ZN3ana12region_model10copy_bytesEPKNS_6regionES3_P9tree_nodePKNS_6svalueEPNS_20region_model_contextE	506
_ZN3ana25poisoned_value_diagnostic22mark_interesting_stuffEPNS_13interesting_tE	575
_ZN3ana25poisoned_value_diagnostic4emitERNS_27diagnostic_emission_contextE	575
_ZN3anaL25check_for_invalid_ptrdiffEPK7gassignRNS_20region_model_contextEPKNS_6svalueES7_	582
_ZN3anaL37svalue_byte_range_has_null_terminatorEPKNS_6svalueERKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_6loggerE	610
_ZN3anaL39svalue_byte_range_has_null_terminator_1EPKNS_6svalueERKNS_10byte_rangeEP16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_6loggerE	610
_ZN3ana12region_model11fill_regionEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE	640
_ZN3ana12region_model16zero_fill_regionEPKNS_6regionEPNS_20region_model_contextE	705
_ZNK3ana12region_model23get_representative_treeEPKNS_6regionEPNS_6loggerE	770
_ZN3ana12model_merger17on_widening_reuseEPKNS_15widening_svalueE	843
_ZN3ana12region_model25update_for_int_cst_returnERKNS_12call_detailsEib	845
_ZN3ana31contains_floating_point_visitor20visit_initial_svalueEPKNS_14initial_svalueE	949
_ZNK3ana12region_model22check_call_format_attrERKNS_12call_detailsEP9tree_node	1054
_ZNK3ana12region_model10read_bytesEPKNS_6regionEP9tree_nodePKNS_6svalueEPNS_20region_model_contextE	1092
_ZN3ana12size_visitorC2EP9tree_nodePKNS_6svalueEPNS_18constraint_managerE	1131
_ZN3anaL11is_round_upEP9tree_nodePKNS_6svalueE	1135
_ZN3anaL13is_multiple_pEP9tree_nodePKNS_6svalueE	1135
_ZN3anaL19is_dubious_capacityEP9tree_nodePKNS_6svalueEPNS_18constraint_managerE	1135
_ZN3anaL26due_to_ifn_deferred_init_pEPK7gassign	1146
_ZN3ana25poisoned_value_diagnostic20describe_final_eventER14pretty_printerRKNS_6evdesc11final_eventE	1150
_ZN3anaL29within_short_circuited_stmt_pEPKNS_12region_modelEPK7gassign	1158
_ZNK3ana23dubious_allocation_size8get_kindEv	1186
_ZN3ana12region_model46check_function_attr_null_terminated_string_argERK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EE	1256
_ZNK3ana12region_model26check_function_attr_accessERK5gcallP9tree_nodePNS_20region_model_contextER8hash_mapI16rdwr_access_hash11attr_access21simple_hashmap_traitsI19default_hash_traitsIS9_ESA_EE	1256
_ZZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueEENK31null_terminator_check_decl_note8get_kindEv	1278
_ZNK3ana25poisoned_value_diagnostic19check_valid_fpath_pERKNS_13feasible_nodeE	1317
_ZN3ana16dump_quoted_treeEP14pretty_printerP9tree_node	1366
_ZNK3ana25poisoned_value_diagnostic16terminate_path_pEv	1381
_ZNK3ana12region_model18get_known_functionE11internal_fn	1383
_ZN3ana12region_model19replay_call_summaryERNS_19call_summary_replayERKS0_	1629
_ZN3ana8fragment8cmp_ptrsEPKvS2_	1810
_ZN3anaL29capacity_compatible_with_typeEP9tree_nodeS1_b	1859
_ZNK3ana25poisoned_value_diagnostic22get_controlling_optionEv	1956
_ZN3ana12region_model11write_bytesEPKNS_6regionEPKNS_6svalueES6_PNS_20region_model_contextE	2103
_ZNK3ana12region_model10dump_to_ppEP14pretty_printerbb	2126
_ZNK3ana12region_model28get_region_for_poisoned_exprEP9tree_node	2160
_ZN3anaL24get_tree_for_byte_offsetEP9tree_node16generic_wide_intI22fixed_wide_int_storageILi128EEE	2417
_ZN3ana16iterable_clusterC2EPKNS_15binding_clusterE	3061
_ZN3ana8selftest16assert_conditionERKN8selftest8locationERNS_12region_modelEP9tree_node9tree_codeS8_8tristate	3084
_ZN3ana8fragmentC2Ev	3194
_ZNK3ana16iterable_cluster21get_fragment_for_byteE16generic_wide_intI22fixed_wide_int_storageILi128EEEPNS_8fragmentE	3194
_ZN3ana6engineC2ERNS_20region_model_managerEPKNS_10supergraphE	3397
_ZN3anaL34struct_or_union_with_inheritance_pEP9tree_node	3562
_ZN3ana20region_model_context4warnESt10unique_ptrINS_18pending_diagnosticESt14default_deleteIS2_EES1_INS_16pending_location15fixer_for_epathES3_IS7_EE	3944
_ZN3ana17print_quoted_typeEP14pretty_printerP9tree_node	4434
_ZN3ana12region_model17loop_replay_fixupEPKS0_	4661
_ZN3anaL28get_fns_assumed_not_to_throwEv	5326
_ZNK3ana39exception_thrown_from_unrecognized_call12create_enodeERNS_14exploded_graphERKNS_13program_pointEONS_13program_stateEPNS_13exploded_nodeEPNS_20region_model_contextE	5346
_ZNK3ana39exception_thrown_from_unrecognized_call12update_modelEPNS_12region_modelEPKNS_13exploded_edgeEPNS_20region_model_contextE	5455
_ZN3ana12region_model14clobber_regionEPKNS_6regionE	6130
_ZNK3ana12region_model36check_for_null_terminated_string_argERKNS_12call_detailsEjbPPKNS_6svalueE	7177
_ZNK3ana12region_model15get_store_bytesEPKNS_6regionERKNS_10byte_rangeEPNS_20region_model_contextE	7334
_ZN3ana31contains_floating_point_visitor21visit_constant_svalueEPKNS_15constant_svalueE	7592
_ZNK3ana12region_model24scan_for_null_terminatorEPKNS_6regionEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextE	7648
_ZNK3ana12region_model26scan_for_null_terminator_1EPKNS_6regionEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextE	7648
_ZNK3ana12region_model29check_dynamic_size_for_floatsEPKNS_6svalueEPNS_20region_model_contextE	7810
_ZNK3ana14caller_context8get_stmtEv	8279
_ZN3ana12region_model23update_for_return_gcallERK5gcallPNS_20region_model_contextE	8310
_ZNK3ana14exception_nodeeqERKS0_	10276
_ZN3ana12region_model16update_for_gcallERK5gcallPNS_20region_model_contextEP8function	11361
_ZN3ana12region_model20check_function_attrsERK5gcallP9tree_nodePNS_20region_model_contextE	11818
_ZN3ana12region_model19set_dynamic_extentsEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE	12770
_ZNK3ana12region_model29get_representative_path_var_1EPKNS_6svalueEP8hash_setIS3_Lb0E19default_hash_traitsIS3_EEPNS_6loggerE	12785
_ZN3anaL11can_throw_pERK5gcallP9tree_node	12786
_ZN3ana14compat_types_pEP9tree_nodeS1_	13186
_ZNK3ana12region_model23get_representative_treeEPKNS_6svalueEPNS_6loggerE	14250
_ZN3anaL18is_positive_svalueEPKNS_6svalueE	14300
_ZNK3ana25poisoned_value_diagnostic8get_kindEv	14387
_ZNK3ana12region_model19structural_equalityEPKNS_6svalueES3_	14569
_ZNK3ana12region_model27get_representative_path_varEPKNS_6regionEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EEPNS_6loggerE	15329
_ZNK3ana12region_model29get_representative_path_var_1EPKNS_6regionEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS7_EEPNS_6loggerE	15329
_ZNK3ana12region_model21symbolic_greater_thanEPKNS_12binop_svalueEPKNS_6svalueE	15691
_ZN3ana12region_model24handle_unrecognized_callERK5gcallPNS_20region_model_contextE	16848
_ZN3anaL38unusable_in_infinite_loop_constraint_pEPKNS_6svalueE	17084
_ZN3ana12region_model35get_or_create_region_for_heap_allocEPKNS_6svalueEPNS_20region_model_contextEbPKNS_12call_detailsE	17368
_ZN3ana12region_model27check_for_throw_inside_callERK5gcallP9tree_nodePNS_20region_model_contextE	17553
_ZNK3ana12region_model27get_representative_path_varEPKNS_6svalueEP8hash_setIS3_Lb0E19default_hash_traitsIS3_EEPNS_6loggerE	18032
_ZN3ana12region_model18on_top_level_paramEP9tree_nodebPNS_20region_model_contextE	18335
_ZNK3ana12region_model27get_referenced_base_regionsER11auto_bitmap	19271
_ZN3ana12region_model9pop_frameEP9tree_nodePPKNS_6svalueEPNS_20region_model_contextEPK5gcallb	26042
_ZN3ana12region_model21purge_state_involvingEPKNS_6svalueEPNS_20region_model_contextE	26833
_ZN3ana19region_to_value_map21purge_state_involvingEPKNS_6svalueE	26833
_ZN3ana12region_model10push_frameERK8functionPK5gcallPK3vecIPKNS_6svalueE7va_heap6vl_ptrEPNS_20region_model_contextE	31011
_ZNK3ana12region_model14eval_conditionEP9tree_node9tree_codeS2_PNS_20region_model_contextE	33285
_ZN3ana12region_model29unbind_region_and_descendentsEPKNS_6regionENS_11poison_kindE	36633
_ZN3ana12region_model34poison_any_pointers_to_descendentsEPKNS_6regionENS_11poison_kindE	36633
_ZN3ana9dump_treeEP14pretty_printerP9tree_node	41489
_ZNK3ana19region_to_value_map16can_merge_with_pERKS0_PS0_	42209
_ZNK3ana12region_model15check_call_argsERKNS_12call_detailsE	49104
_ZN3ana12region_model21unset_dynamic_extentsEPKNS_6regionE	49682
_ZN3ana12region_model26add_constraints_from_binopEPKNS_6svalueE9tree_codeS3_PbPNS_20region_model_contextE	53099
_ZN3ana12region_modelaSERKS0_	58676
_ZN3ana19region_to_value_mapaSERKS0_	58676
_ZNK3ana12region_model19get_dynamic_extentsEPKNS_6regionE	61778
_ZN3ana12region_model12on_call_postERK5gcallbPNS_20region_model_contextE	70484
_ZN3ana12region_model11on_call_preERK5gcallPNS_20region_model_contextE	70729
_ZN3ana12region_model14add_constraintEP9tree_node9tree_codeS2_PNS_20region_model_contextEPSt10unique_ptrINS_19rejected_constraintESt14default_deleteIS7_EE	72478
_ZN3ana12region_model14add_constraintEP9tree_node9tree_codeS2_PNS_20region_model_contextE	73620
_ZN3ana12region_model14add_constraintEPKNS_6svalueE9tree_codeS3_PNS_20region_model_contextE	81597
_ZNK3ana12region_model12deref_rvalueEPKNS_6svalueEP9tree_nodePNS_20region_model_contextEb	120307
_ZNK3ana12region_model16can_merge_with_pERKS0_RKNS_13program_pointEPS0_PKNS_15extrinsic_stateEPKNS_13program_stateESC_	148012
_ZNK3ana12region_model14get_builtin_kfERK5gcallPNS_20region_model_contextE	163200
_ZN3anaL13is_any_cast_pEPK6gimple	187669
_ZNK3ana12region_model14eval_conditionEPKNS_6svalueE9tree_codeS3_	210015
_ZN3ana12region_model12purge_regionEPKNS_6regionE	216579
_ZNK3ana12region_model18called_from_main_pEv	224102
_ZNK3ana12region_model28get_initial_value_for_globalEPKNS_6regionE	233289
_ZN3ana12region_model13on_assignmentEPK7gassignPNS_20region_model_contextE	237297
_ZNK3ana12region_model25check_for_writable_regionEPKNS_6regionEPNS_20region_model_contextE	271265
_ZNK3ana12region_model18get_known_functionEP9tree_nodeRKNS_12call_detailsE	292286
_ZN3ana12region_model11on_stmt_preEPK6gimplePbPNS_20region_model_contextE	311760
_ZNK3ana12region_model17check_region_sizeEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE	346238
_ZN3ana12region_model9set_valueEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE	346258
_ZNK3ana12region_model22check_region_for_writeEPKNS_6regionEPKNS_6svalueEPNS_20region_model_contextE	347680
_ZN3ana12region_modelC2EPNS_20region_model_managerE	370385
_ZNK3ana12region_model15canonicalized_pEv	389786
_ZNK3ana12region_model29get_regions_for_current_frameEP8auto_vecIPKNS_11decl_regionELm0EE	393393
_ZN3ana12region_model18get_gassign_resultEPK7gassignPNS_20region_model_contextE	403592
_ZNK3ana19region_to_value_mapeqERKS0_	443550
_ZNK3ana12region_modeleqERKS0_	502470
_ZNK3ana12model_merger18mergeable_svalue_pEPKNS_6svalueE	562189
_ZN3ana12region_model12canonicalizeEv	823919
_ZNK3ana12region_model12get_capacityEPKNS_6regionE	845847
_ZN3ana12region_model19get_fndecl_for_callERK5gcallPNS_20region_model_contextE	925544
_ZN3ana12region_model21get_reachable_svaluesEP8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EES4_PKNS_13uncertainty_tE	968210
_ZNK3ana12region_model4hashEv	1241652
_ZNK3ana12region_model10get_lvalueEP9tree_nodePNS_20region_model_contextE	1530954
_ZNK3ana12region_model18get_frame_at_indexEi	1609692
_ZNK3ana12region_model8validateEv	1718070
_ZNK3ana12region_model10get_lvalueENS_8path_varEPNS_20region_model_contextE	2476455
_ZNK3ana12region_model12get_lvalue_1ENS_8path_varEPNS_20region_model_contextE	2476455
_ZNK3ana12region_model15region_exists_pEPKNS_6regionE	2643576
_ZNK3ana12region_model12get_rvalue_1ENS_8path_varEPNS_20region_model_contextE	3048823
_ZNK3ana12region_model10get_rvalueEP9tree_nodePNS_20region_model_contextE	3084644
_ZNK3ana12region_model10get_rvalueENS_8path_varEPNS_20region_model_contextE	3085138
_ZN3ana12region_model17append_regions_cbEPKNS_6regionEPNS_22append_regions_cb_dataE	3096507
_ZN3ana12region_modelC2ERKS0_	3186718
_ZNK3ana12region_model16check_for_poisonEPKNS_6svalueEP9tree_nodePKNS_6regionEPNS_20region_model_contextE	3285276
_ZN3ana12region_modelD2Ev	3557103
_ZNK3ana12region_model21check_region_for_readEPKNS_6regionEPNS_20region_model_contextE	4094277
_ZNK3ana12region_model15get_store_valueEPKNS_6regionEPNS_20region_model_contextE	4094329
_ZNK3ana12region_model19check_region_accessEPKNS_6regionENS_16access_directionEPKNS_6svalueEPNS_20region_model_contextE	4441957
_ZNK3ana12region_model15get_stack_depthEv	5407076
_ZN3anaL19assert_compat_typesEP9tree_nodeS1_	5538048

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.