LCOV - code coverage report
Current view: top level - gcc/sym-exec - sym-exec-state.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 56.4 % 962 543
Test Date: 2026-10-24 16:24:59 Functions: 72.9 % 107 78
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
_ZN5state11or_sym_bitsEPK9value_bitS2_ 0
_ZN5state12and_sym_bitsEPK9value_bitS2_ 0
_ZN5state12or_var_constEPK9value_bitPK3bit 0
_ZN5state13add_bool_condEP9tree_node 0
_ZN5state13add_conditionEP14bit_expression 0
_ZN5state13add_var_stateEP9tree_nodeP5value 0
_ZN5state13do_complementEP9tree_nodeS1_ 0
_ZN5state14and_number_bitEP5valueP9value_bit 0
_ZN5state15get_first_valueEv 0
_ZN5state16clear_var_statesEv 0
_ZN5state18complement_sym_bitEPK9value_bit 0
_ZN5state19bulk_add_conditionsERK8hash_setIP14bit_expressionLb0E19default_hash_traitsIS2_EE 0
_ZN5state19shift_left_sym_bitsEP9value_bitS1_ 0
_ZN5state20construct_equal_condEP5valueS1_ 0
_ZN5state20shift_right_sym_bitsEP9value_bitS1_ 0
_ZN5state21add_greater_than_condEP5valueS1_ 0
_ZN5state21add_greater_than_condEP9tree_nodeS1_ 0
_ZN5state22add_less_or_equal_condEP5valueS1_ 0
_ZN5state22add_less_or_equal_condEP9tree_nodeS1_ 0
_ZN5state24construct_less_than_condEP5valueS1_ 0
_ZN5state25construct_great_than_condEP5valueS1_ 0
_ZN5state27complement_bits_with_originEP9value_bitP9tree_node 0
_ZN5state28complement_state_with_originEP9tree_node 0
_ZN5state30check_const_value_is_less_thanEP5valueS1_ 0
_ZN5state31complement_val_bits_with_originEP5valueP9tree_node 0
_ZN5state33check_const_value_is_greater_thanEP5valueS1_ 0
_ZN5state33complement_conditions_with_originEP9tree_node 0
_ZN5state36complement_all_vars_bits_with_originEP9tree_node 0
_ZN5state9make_copyEP3vecIP9value_bit7va_heap6vl_ptrE 0
_ZN5state5do_orEP5valueS1_P9tree_node 4
_ZN5state11add_numbersEP5valuePKS0_ 6
_ZN5state6do_mulEP5valueS1_P9tree_node 6
_ZN5state19create_forward_lfsrER5valueRKS0_S3_ 163
_ZN5state20create_reversed_lfsrER5valueRKS0_S3_ 185
_Z12last_set_bitRK5value 367
_ZN5state11create_lfsrEP9tree_nodeP5valueb 367
_ZN5state14do_assign_pow2EP9tree_nodej 379
_ZN5state8decl_varEP9tree_nodej 379
_ZN5state12clear_statesEP3vecIPS_7va_heap6vl_ptrE 1454
_ZN5state25add_greater_or_equal_condEP5valueS1_ 2096
_ZN5state25add_greater_or_equal_condEP9tree_nodeS1_ 2096
_ZN5state18add_less_than_condEP5valueS1_ 2222
_ZN5state18add_less_than_condEP9tree_nodeS1_ 2222
_ZN5state14add_equal_condEP5valueS1_ 3668
_ZN5state14add_equal_condEP9tree_nodeS1_ 3668
_ZN5state6do_andEP5valueS1_P9tree_node 3999
_ZN5state13do_shift_leftEP5valueS1_P9tree_node 6447
_ZN5state19shift_left_by_constEPK5valuem 6639
_ZN5state13remove_statesEP3vecIPS_7va_heap6vl_ptrE 6872
_ZN5state14do_shift_rightEP5valueS1_P9tree_node 7959
_ZN5state20shift_right_by_constEP5valuem 7959
_ZN5value4lastEv 9428
_ZN5state6do_xorEP5valueS1_P9tree_node 10339
_ZN5state26check_const_value_equalityEP5valueS1_ 10851
_ZN5state16additive_inverseEPK5value 11898
_ZN5state6do_subEP5valueS1_P9tree_node 11898
_ZN5state31check_const_value_are_not_equalEP5valueS1_ 12139
_ZN5state18add_not_equal_condEP5valueS1_ 15806
_ZN5state18add_not_equal_condEP9tree_nodeS1_ 15806
_ZN5stateC2ERKS_ 18029
_ZN5state14get_conditionsEv 23048
_ZN5state15add_binary_condEP9tree_nodeS1_MS_FvP5valueS3_E 23792
_ZN5state16print_conditionsEv 23792
_ZN5state6do_addEP5valueS1_P9tree_node 23837
_ZN5state16clear_conditionsEv 24174
_ZN5stateD2Ev 24174
_ZN5state9do_assignEP9tree_nodeS1_ 29631
_ZN5state11make_numberEPK5value 29700
_ZN5state9get_valueEP9tree_node 33593
_Z3minmmm 38179
_ZN5state20get_last_cond_statusEv 49025
_ZN5state19do_binary_operationEP9tree_nodeS1_S1_MS_FvP5valueS3_S1_E 52591
_ZN5state24check_args_compatibilityEP9tree_nodeS1_S1_ 52591
_ZN5valueaSERKS_ 72151
_ZN5state13is_bit_vectorEPK5value 76482
_ZNK5value6existsEv 76482
_ZN5state12do_operationE9tree_codeP9tree_nodeS2_S2_ 82222
_ZN5state20create_val_for_constEP9tree_nodem 84660
_ZN5state11print_valueEP5value 91107
_ZN5state13make_symbolicEP9tree_nodej 92003
_ZN5state12xor_sym_bitsEPK9value_bitS2_ 158539
_ZN5state13and_var_constEPK9value_bitPK3bit 160088
_ZN5state17declare_if_neededEP9tree_nodem 240827
_ZN5state27get_parent_with_const_childEP9value_bitRP14bit_expressionS4_ 262840
_ZN5state13xor_var_constEPK9value_bitPK3bit 277197
_ZN5state11is_declaredEP9tree_node 296133
_ZN5state16complement_a_bitEP9value_bit 399024
_ZN5state20complement_const_bitEPK3bit 399024
_ZN5valueC2ERKS_ 433081
_ZN5valueC2Ejb 544411
_ZN5state12operate_bitsEPFP9value_bitS1_S1_ES1_S1_PS1_ 668928
_ZN5state12operate_bitsEPFP9value_bitS1_S1_PS1_ES1_S1_S2_ 798472
_ZN5state12get_var_sizeEP9tree_node 814226
_ZNK5value9allocatedEv 883558
_ZN5value9free_bitsEv 977492
_ZN5valueD2Ev 977492
_ZN5state10full_adderEP9value_bitS1_PS1_ 1197688
_ZN5state11or_two_bitsEP9value_bitS1_ 1197792
_ZN5state13or_const_bitsEPK3bitS2_ 1197792
_ZN5state14and_const_bitsEPK3bitS2_ 2426360
_ZN5state14xor_const_bitsEPK3bitS2_ 2441483
_ZN5state12and_two_bitsEP9value_bitS1_ 2586448
_ZN5state12xor_two_bitsEP9value_bitS1_ 2877219
_ZN5value4pushEP9value_bit 15170688
_ZN5valueixEj 25104620
_ZNK5value6lengthEv 33409908
_ZNK5valueixEj 46462986

Generated by: LCOV version 2.5.0-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.