LCOV - code coverage report
Current view: top level - gcc/analyzer - constraint-manager.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 88.8 % 2454 2179
Test Date: 2024-05-18 13:55:47 Functions: 79.1 % 148 117
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
_ZN3ana11equiv_class12canonicalizeEv 3488874
_ZN3ana11equiv_class3addEPKNS_6svalueE 435659
_ZN3ana11equiv_class3delEPKNS_6svalueE 40280
_ZN3ana11equiv_classC2ERKS0_ 13530907
_ZN3ana11equiv_classC2Ev 390123
_ZN3ana11equiv_classeqERKS0_ 1170759
_ZN3ana11sval_finder16visit_sub_svalueEPKNS_10sub_svalueE 0
_ZN3ana11sval_finder18visit_binop_svalueEPKNS_12binop_svalueE 133
_ZN3ana11sval_finder19visit_region_svalueEPKNS_13region_svalueE 130
_ZN3ana11sval_finder19visit_setjmp_svalueEPKNS_13setjmp_svalueE 0
_ZN3ana11sval_finder20visit_initial_svalueEPKNS_14initial_svalueE 477
_ZN3ana11sval_finder20visit_unaryop_svalueEPKNS_14unaryop_svalueE 30
_ZN3ana11sval_finder20visit_unknown_svalueEPKNS_14unknown_svalueE 0
_ZN3ana11sval_finder21visit_compound_svalueEPKNS_15compound_svalueE 0
_ZN3ana11sval_finder21visit_conjured_svalueEPKNS_15conjured_svalueE 19
_ZN3ana11sval_finder21visit_constant_svalueEPKNS_15constant_svalueE 336
_ZN3ana11sval_finder21visit_poisoned_svalueEPKNS_15poisoned_svalueE 0
_ZN3ana11sval_finder21visit_repeated_svalueEPKNS_15repeated_svalueE 0
_ZN3ana11sval_finder21visit_widening_svalueEPKNS_15widening_svalueE 0
_ZN3ana11sval_finder23visit_asm_output_svalueEPKNS_17asm_output_svalueE 0
_ZN3ana11sval_finder24visit_bits_within_svalueEPKNS_18bits_within_svalueE 0
_ZN3ana11sval_finder24visit_placeholder_svalueEPKNS_18placeholder_svalueE 0
_ZN3ana11sval_finder24visit_unmergeable_svalueEPKNS_18unmergeable_svalueE 0
_ZN3ana11sval_finder28visit_const_fn_result_svalueEPKNS_22const_fn_result_svalueE 0
_ZN3ana13bounded_range13set_json_attrEPN4json6objectEPKcP9tree_node 0
_ZN3ana13bounded_range3cmpERKS0_S2_ 203910
_ZN3ana13bounded_rangeC2EPK9tree_nodeS3_ 12679
_ZN3ana14bounded_ranges12canonicalizeEv 14266
_ZN3ana14bounded_ranges3cmpEPKS0_S2_ 0
_ZN3ana14bounded_rangesC2E9tree_codeP9tree_node 861
_ZN3ana14bounded_rangesC2ERK3vecINS_13bounded_rangeE7va_heap6vl_ptrE 5594
_ZN3ana14bounded_rangesC2ERKNS_13bounded_rangeE 7811
_ZN3ana17compare_constantsEP9tree_node9tree_codeS1_ 122281
_ZN3ana18constraint_manager12canonicalizeEv 1216497
_ZN3ana18constraint_manager14add_constraintENS_14equiv_class_idE9tree_codeS1_ 1175
_ZN3ana18constraint_manager14add_constraintEPKNS_6svalueE9tree_codeS3_ 613776
_ZN3ana18constraint_manager18add_bounded_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 10052
_ZN3ana18constraint_manager18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE 684774
_ZN3ana18constraint_manager19replay_call_summaryERNS_19call_summary_replayERKS0_ 1951
_ZN3ana18constraint_manager21purge_state_involvingEPKNS_6svalueE 42869
_ZN3ana18constraint_manager22add_unknown_constraintENS_14equiv_class_idE9tree_codeS1_ 239951
_ZN3ana18constraint_manager22get_or_add_equiv_classEPKNS_6svalueE 555782
_ZN3ana18constraint_manager23add_constraint_internalENS_14equiv_class_idENS_13constraint_opES1_ 197485
_ZN3ana18constraint_manager5mergeERKS0_S2_PS0_ 74419
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE 727643
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE 42869
_ZN3ana18constraint_manager5purgeINS_18dead_svalue_purgerEEEvRKT_PNS_11purge_statsE 684774
_ZN3ana18constraint_managerC2ERKS0_ 4213053
_ZN3ana18constraint_manageraSERKS0_ 0
_ZN3ana18constraint_op_codeENS_13constraint_opE 2285
_ZN3ana19merger_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ 428856
_ZN3ana19merger_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 876
_ZN3ana19replay_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ 13116
_ZN3ana19replay_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 0
_ZN3ana20constraint_tree_codeENS_13constraint_opE 142019
_ZN3ana22bounded_ranges_manager11consolidateEPNS_14bounded_rangesE 13397
_ZN3ana22bounded_ranges_manager19get_or_create_emptyEv 8
_ZN3ana22bounded_ranges_manager19get_or_create_pointEPK9tree_node 7067
_ZN3ana22bounded_ranges_manager19get_or_create_rangeEPK9tree_nodeS3_ 7811
_ZN3ana22bounded_ranges_manager19get_or_create_unionERK3vecIPKNS_14bounded_rangesE7va_heap6vl_ptrE 4375
_ZN3ana22bounded_ranges_manager21get_or_create_inverseEPKNS_14bounded_rangesEP9tree_node 402
_ZN3ana22bounded_ranges_manager22make_case_label_rangesEPK7gswitchP9tree_node 8037
_ZN3ana22bounded_ranges_manager24create_ranges_for_switchERKNS_20switch_cfg_superedgeEPK7gswitch 3527
_ZN3ana22bounded_ranges_manager26get_or_create_intersectionEPKNS_14bounded_rangesES3_ 801
_ZN3ana22bounded_ranges_manager31get_or_create_ranges_for_switchEPKNS_20switch_cfg_superedgeEPK7gswitch 9598
_ZN3ana22bounded_ranges_managerD2Ev 4335
_ZN3ana5bound13ensure_closedENS_10bound_kindE 23005
_ZN3ana5debugERKNS_18constraint_managerE 0
_ZN3ana5range29constrained_to_single_elementEv 15085
_ZN3ana5range9add_boundE9tree_codeP9tree_node 13265
_ZN3ana5range9add_boundENS_5boundENS_10bound_kindE 14725
_ZN3ana8selftest36analyzer_constraint_manager_cc_testsEv 4
_ZN3ana8selftestL10test_rangeEv 8
_ZN3ana8selftestL12test_purgingEv 8
_ZN3ana8selftestL13test_equalityEv 8
_ZN3ana8selftestL17test_transitivityEv 4
_ZN3ana8selftestL18test_bounded_rangeEv 8
_ZN3ana8selftestL19test_bounded_rangesEv 8
_ZN3ana8selftestL19test_many_constantsEv 8
_ZN3ana8selftestL20test_constraint_implEv 8
_ZN3ana8selftestL25test_constant_comparisonsEv 8
_ZN3ana8selftestL26test_constraint_conditionsEv 8
_ZN3ana8selftestL28assert_dump_bounded_range_eqERKN8selftest8locationERKNS_13bounded_rangeEPKc 64
_ZN3ana8selftestL28run_constraint_manager_testsEb 8
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationEPKNS_14bounded_rangesEPKc 208
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationERKNS_14bounded_rangesEPKc 96
_ZN3ana8selftestL9test_bitsEv 8
_ZN3anaL14can_plus_one_pEP9tree_node 31742
_ZN3anaL14constraint_cmpEPKvS1_ 13780103
_ZN3anaL15can_minus_one_pEP9tree_node 3326
_ZN3anaL15equiv_class_cmpEPKvS1_ 27789991
_ZN3anaL25eval_constraint_op_for_opENS_13constraint_opE9tree_code 381712
_ZN3anaL8dump_cstEP14pretty_printerP9tree_nodeb 680
_ZN3anaL8plus_oneEP9tree_node 15908
_ZN3anaL9minus_oneEP9tree_node 1678
_ZNK3ana10constraint10implied_byERKS0_RKNS_18constraint_managerE 454743
_ZNK3ana10constraint4hashEv 2395444
_ZNK3ana10constraint5printEP14pretty_printerRKNS_18constraint_managerE 2285
_ZNK3ana10constraint7to_jsonEv 0
_ZNK3ana10constrainteqERKS0_ 751792
_ZNK3ana11equiv_class18get_representativeEv 62530259
_ZNK3ana11equiv_class23contains_non_constant_pEv 249859
_ZNK3ana11equiv_class4hashEv 3737241
_ZNK3ana11equiv_class5printEP14pretty_printer 8259
_ZNK3ana11equiv_class7to_jsonEv 0
_ZNK3ana13bounded_range10contains_pEP9tree_node 474
_ZNK3ana13bounded_range10dump_to_ppEP14pretty_printerb 400
_ZNK3ana13bounded_range12intersects_pERKS0_PS0_ 10724
_ZNK3ana13bounded_range4dumpEb 0
_ZNK3ana13bounded_range7to_jsonEv 0
_ZNK3ana13bounded_rangeeqERKS0_ 74753
_ZNK3ana14bounded_ranges10dump_to_ppEP14pretty_printerb 304
_ZNK3ana14bounded_ranges14eval_conditionE9tree_codeP9tree_nodePNS_22bounded_ranges_managerE 765
_ZNK3ana14bounded_ranges4dumpEb 0
_ZNK3ana14bounded_ranges7to_jsonEv 0
_ZNK3ana14bounded_ranges8validateEv 14266
_ZNK3ana14bounded_ranges9contain_pEP9tree_node 301
_ZNK3ana14bounded_rangeseqERKS0_ 92654
_ZNK3ana14equiv_class_id5printEP14pretty_printer 8259
_ZNK3ana14equiv_class_id7get_objERKNS_18constraint_managerE 1835683
_ZNK3ana14equiv_class_id7get_objERNS_18constraint_managerE 198362
_ZNK3ana18constraint_manager10dump_to_ppEP14pretty_printerb 2165
_ZNK3ana18constraint_manager13for_each_factEPNS_12fact_visitorE 76370
_ZNK3ana18constraint_manager13get_ec_boundsENS_14equiv_class_idE 14924
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeP9tree_node 106921
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeS1_ 704258
_ZNK3ana18constraint_manager14eval_conditionEPKNS_6svalueE9tree_codeS3_ 1183607
_ZNK3ana18constraint_manager17get_range_managerEv 16171
_ZNK3ana18constraint_manager18sval_constrained_pEPKNS_6svalueE 414
_ZNK3ana18constraint_manager25get_equiv_class_by_svalueEPKNS_6svalueEPNS_14equiv_class_idE 2399463
_ZNK3ana18constraint_manager31impossible_derived_conditions_pEPKNS_6svalueES3_ 77361
_ZNK3ana18constraint_manager4dumpEP8_IO_FILE 0
_ZNK3ana18constraint_manager4dumpEv 0
_ZNK3ana18constraint_manager4hashEv 1388800
_ZNK3ana18constraint_manager5printEP14pretty_printer 0
_ZNK3ana18constraint_manager7to_jsonEv 5
_ZNK3ana18constraint_manager8validateEv 969365
_ZNK3ana18constraint_managereqERKS0_ 443174
_ZNK3ana22bounded_ranges_manager9log_statsEPNS_6loggerEb 2
_ZNK3ana25bounded_ranges_constraint11add_to_hashEPN7inchash4hashE 17001
_ZNK3ana25bounded_ranges_constraint5printEP14pretty_printerRKNS_18constraint_managerE 0
_ZNK3ana25bounded_ranges_constraint7to_jsonEv 0
_ZNK3ana25bounded_ranges_constrainteqERKS0_ 5571
_ZNK3ana5bound19get_relation_as_strEv 0
_ZNK3ana5range10dump_to_ppEP14pretty_printer 0
_ZNK3ana5range14eval_conditionE9tree_codeP9tree_node 14924
_ZNK3ana5range17above_upper_boundEP9tree_node 14575
_ZNK3ana5range17below_lower_boundEP9tree_node 14153
_ZNK3ana5range4dumpEv 0

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.