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-04 14:01:55 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
_ZN3ana11sval_finder16visit_sub_svalueEPKNS_10sub_svalueE 0
_ZN3ana11sval_finder19visit_setjmp_svalueEPKNS_13setjmp_svalueE 0
_ZN3ana11sval_finder20visit_unknown_svalueEPKNS_14unknown_svalueE 0
_ZN3ana11sval_finder21visit_compound_svalueEPKNS_15compound_svalueE 0
_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
_ZN3ana14bounded_ranges3cmpEPKS0_S2_ 0
_ZN3ana18constraint_manageraSERKS0_ 0
_ZN3ana19replay_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 0
_ZN3ana5debugERKNS_18constraint_managerE 0
_ZNK3ana10constraint7to_jsonEv 0
_ZNK3ana11equiv_class7to_jsonEv 0
_ZNK3ana13bounded_range4dumpEb 0
_ZNK3ana13bounded_range7to_jsonEv 0
_ZNK3ana14bounded_ranges4dumpEb 0
_ZNK3ana14bounded_ranges7to_jsonEv 0
_ZNK3ana18constraint_manager4dumpEP8_IO_FILE 0
_ZNK3ana18constraint_manager4dumpEv 0
_ZNK3ana18constraint_manager5printEP14pretty_printer 0
_ZNK3ana25bounded_ranges_constraint5printEP14pretty_printerRKNS_18constraint_managerE 0
_ZNK3ana25bounded_ranges_constraint7to_jsonEv 0
_ZNK3ana5bound19get_relation_as_strEv 0
_ZNK3ana5range10dump_to_ppEP14pretty_printer 0
_ZNK3ana5range4dumpEv 0
_ZNK3ana22bounded_ranges_manager9log_statsEPNS_6loggerEb 2
_ZN3ana8selftest36analyzer_constraint_manager_cc_testsEv 4
_ZN3ana8selftestL17test_transitivityEv 4
_ZNK3ana18constraint_manager7to_jsonEv 5
_ZN3ana22bounded_ranges_manager19get_or_create_emptyEv 8
_ZN3ana8selftestL10test_rangeEv 8
_ZN3ana8selftestL12test_purgingEv 8
_ZN3ana8selftestL13test_equalityEv 8
_ZN3ana8selftestL18test_bounded_rangeEv 8
_ZN3ana8selftestL19test_bounded_rangesEv 8
_ZN3ana8selftestL19test_many_constantsEv 8
_ZN3ana8selftestL20test_constraint_implEv 8
_ZN3ana8selftestL25test_constant_comparisonsEv 8
_ZN3ana8selftestL26test_constraint_conditionsEv 8
_ZN3ana8selftestL28run_constraint_manager_testsEb 8
_ZN3ana8selftestL9test_bitsEv 8
_ZN3ana11sval_finder21visit_conjured_svalueEPKNS_15conjured_svalueE 19
_ZN3ana11sval_finder20visit_unaryop_svalueEPKNS_14unaryop_svalueE 30
_ZN3ana8selftestL28assert_dump_bounded_range_eqERKN8selftest8locationERKNS_13bounded_rangeEPKc 64
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationERKNS_14bounded_rangesEPKc 96
_ZN3ana11sval_finder19visit_region_svalueEPKNS_13region_svalueE 130
_ZN3ana11sval_finder18visit_binop_svalueEPKNS_12binop_svalueE 133
_ZN3ana8selftestL29assert_dump_bounded_ranges_eqERKN8selftest8locationEPKNS_14bounded_rangesEPKc 208
_ZNK3ana14bounded_ranges9contain_pEP9tree_node 301
_ZNK3ana14bounded_ranges10dump_to_ppEP14pretty_printerb 304
_ZN3ana11sval_finder21visit_constant_svalueEPKNS_15constant_svalueE 336
_ZN3ana22bounded_ranges_manager21get_or_create_inverseEPKNS_14bounded_rangesEP9tree_node 398
_ZNK3ana13bounded_range10dump_to_ppEP14pretty_printerb 400
_ZNK3ana18constraint_manager18sval_constrained_pEPKNS_6svalueE 414
_ZNK3ana13bounded_range10contains_pEP9tree_node 474
_ZN3ana11sval_finder20visit_initial_svalueEPKNS_14initial_svalueE 477
_ZN3anaL8dump_cstEP14pretty_printerP9tree_nodeb 680
_ZNK3ana14bounded_ranges14eval_conditionE9tree_codeP9tree_nodePNS_22bounded_ranges_managerE 749
_ZN3ana22bounded_ranges_manager26get_or_create_intersectionEPKNS_14bounded_rangesES3_ 785
_ZN3ana14bounded_rangesC2E9tree_codeP9tree_node 845
_ZN3ana19merger_fact_visitor9on_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 876
_ZN3ana18constraint_manager14add_constraintENS_14equiv_class_idE9tree_codeS1_ 1175
_ZN3anaL9minus_oneEP9tree_node 1674
_ZN3ana18constraint_manager19replay_call_summaryERNS_19call_summary_replayERKS0_ 1951
_ZNK3ana18constraint_manager10dump_to_ppEP14pretty_printerb 2165
_ZN3ana18constraint_op_codeENS_13constraint_opE 2285
_ZNK3ana10constraint5printEP14pretty_printerRKNS_18constraint_managerE 2285
_ZN3anaL15can_minus_one_pEP9tree_node 3318
_ZN3ana22bounded_ranges_manager24create_ranges_for_switchERKNS_20switch_cfg_superedgeEPK7gswitch 3511
_ZN3ana22bounded_ranges_managerD2Ev 4292
_ZN3ana22bounded_ranges_manager19get_or_create_unionERK3vecIPKNS_14bounded_rangesE7va_heap6vl_ptrE 4355
_ZNK3ana25bounded_ranges_constrainteqERKS0_ 5535
_ZN3ana14bounded_rangesC2ERK3vecINS_13bounded_rangeE7va_heap6vl_ptrE 5554
_ZN3ana22bounded_ranges_manager19get_or_create_pointEPK9tree_node 7043
_ZN3ana14bounded_rangesC2ERKNS_13bounded_rangeE 7787
_ZN3ana22bounded_ranges_manager19get_or_create_rangeEPK9tree_nodeS3_ 7787
_ZN3ana22bounded_ranges_manager22make_case_label_rangesEPK7gswitchP9tree_node 8009
_ZNK3ana11equiv_class5printEP14pretty_printer 8259
_ZNK3ana14equiv_class_id5printEP14pretty_printer 8259
_ZN3ana22bounded_ranges_manager31get_or_create_ranges_for_switchEPKNS_20switch_cfg_superedgeEPK7gswitch 9558
_ZN3ana18constraint_manager18add_bounded_rangesEPKNS_6svalueEPKNS_14bounded_rangesE 10012
_ZNK3ana13bounded_range12intersects_pERKS0_PS0_ 10676
_ZN3ana13bounded_rangeC2EPK9tree_nodeS3_ 12599
_ZN3ana19replay_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ 13116
_ZN3ana5range9add_boundE9tree_codeP9tree_node 13265
_ZN3ana22bounded_ranges_manager11consolidateEPNS_14bounded_rangesE 13333
_ZNK3ana5range17below_lower_boundEP9tree_node 14153
_ZN3ana14bounded_ranges12canonicalizeEv 14186
_ZNK3ana14bounded_ranges8validateEv 14186
_ZNK3ana5range17above_upper_boundEP9tree_node 14575
_ZN3ana5range9add_boundENS_5boundENS_10bound_kindE 14725
_ZNK3ana18constraint_manager13get_ec_boundsENS_14equiv_class_idE 14924
_ZNK3ana5range14eval_conditionE9tree_codeP9tree_node 14924
_ZN3ana5range29constrained_to_single_elementEv 15085
_ZN3anaL8plus_oneEP9tree_node 15880
_ZNK3ana18constraint_manager17get_range_managerEv 16155
_ZNK3ana25bounded_ranges_constraint11add_to_hashEPN7inchash4hashE 16905
_ZN3ana5bound13ensure_closedENS_10bound_kindE 23005
_ZN3anaL14can_plus_one_pEP9tree_node 31686
_ZN3ana11equiv_class3delEPKNS_6svalueE 40282
_ZN3ana18constraint_manager21purge_state_involvingEPKNS_6svalueE 42855
_ZN3ana18constraint_manager5mergeERKS0_S2_PS0_ 74411
_ZNK3ana13bounded_rangeeqERKS0_ 74633
_ZNK3ana18constraint_manager13for_each_factEPNS_12fact_visitorE 76362
_ZNK3ana18constraint_manager31impossible_derived_conditions_pEPKNS_6svalueES3_ 77271
_ZNK3ana14bounded_rangeseqERKS0_ 92386
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeP9tree_node 106867
_ZN3ana17compare_constantsEP9tree_node9tree_codeS1_ 122243
_ZN3ana20constraint_tree_codeENS_13constraint_opE 142035
_ZN3ana18constraint_manager23add_constraint_internalENS_14equiv_class_idENS_13constraint_opES1_ 197509
_ZNK3ana14equiv_class_id7get_objERNS_18constraint_managerE 198327
_ZN3ana13bounded_range3cmpERKS0_S2_ 203834
_ZN3ana18constraint_manager22add_unknown_constraintENS_14equiv_class_idE9tree_codeS1_ 239931
_ZNK3ana11equiv_class23contains_non_constant_pEv 249432
_ZN3anaL25eval_constraint_op_for_opENS_13constraint_opE9tree_code 381839
_ZN3ana11equiv_classC2Ev 390021
_ZN3ana19merger_fact_visitor7on_factEPKNS_6svalueE9tree_codeS3_ 428796
_ZN3ana11equiv_class3addEPKNS_6svalueE 435513
_ZNK3ana18constraint_managereqERKS0_ 442660
_ZNK3ana10constraint10implied_byERKS0_RKNS_18constraint_managerE 454832
_ZN3ana18constraint_manager22get_or_add_equiv_classEPKNS_6svalueE 555795
_ZN3ana18constraint_manager14add_constraintEPKNS_6svalueE9tree_codeS3_ 613888
_ZN3ana18constraint_manager18on_liveness_changeERK8hash_setIPKNS_6svalueELb0E19default_hash_traitsIS4_EEPKNS_12region_modelE 684904
_ZNK3ana18constraint_manager14eval_conditionENS_14equiv_class_idE9tree_codeS1_ 704357
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE 727759
_ZN3ana18constraint_manager5purgeINS_13svalue_purgerEEEvRKT_PNS_11purge_statsE 42855
_ZN3ana18constraint_manager5purgeINS_18dead_svalue_purgerEEEvRKT_PNS_11purge_statsE 684904
_ZNK3ana10constrainteqERKS0_ 751809
_ZNK3ana18constraint_manager8validateEv 969453
_ZN3ana11equiv_classeqERKS0_ 1170563
_ZNK3ana18constraint_manager14eval_conditionEPKNS_6svalueE9tree_codeS3_ 1183592
_ZN3ana18constraint_manager12canonicalizeEv 1215744
_ZNK3ana18constraint_manager4hashEv 1387448
_ZNK3ana14equiv_class_id7get_objERKNS_18constraint_managerE 1835837
_ZNK3ana10constraint4hashEv 2395650
_ZNK3ana18constraint_manager25get_equiv_class_by_svalueEPKNS_6svalueEPNS_14equiv_class_idE 2399440
_ZN3ana11equiv_class12canonicalizeEv 3488970
_ZNK3ana11equiv_class4hashEv 3736877
_ZN3ana18constraint_managerC2ERKS0_ 4211154
_ZN3ana11equiv_classC2ERKS0_ 13533115
_ZN3anaL14constraint_cmpEPKvS1_ 13781941
_ZN3anaL15equiv_class_cmpEPKvS1_ 27792427
_ZNK3ana11equiv_class18get_representativeEv 62535330

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.