LCOV - code coverage report
Current view: top level - gcc/sym-exec - sym-exec-state.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 55.9 % 976 546
Test Date: 2025-08-30 13:27:53 Functions: 72.9 % 107 78
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
_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_ 116
_ZN5state20create_reversed_lfsrER5valueRKS0_S3_ 125
_Z12last_set_bitRK5value 261
_ZN5state11create_lfsrEP9tree_nodeP5valueb 261
_ZN5state14do_assign_pow2EP9tree_nodej 273
_ZN5state8decl_varEP9tree_nodej 273
_ZN5state12clear_statesEP3vecIPS_7va_heap6vl_ptrE 1028
_ZN5state25add_greater_or_equal_condEP5valueS1_ 1320
_ZN5state25add_greater_or_equal_condEP9tree_nodeS1_ 1320
_ZN5state18add_less_than_condEP5valueS1_ 1411
_ZN5state18add_less_than_condEP9tree_nodeS1_ 1411
_ZN5state14add_equal_condEP5valueS1_ 1836
_ZN5state14add_equal_condEP9tree_nodeS1_ 1836
_ZN5state6do_andEP5valueS1_P9tree_node 1926
_ZN5state14do_shift_rightEP5valueS1_P9tree_node 3143
_ZN5state20shift_right_by_constEP5valuem 3143
_ZN5state13do_shift_leftEP5valueS1_P9tree_node 3730
_ZN5state19shift_left_by_constEPK5valuem 3922
_ZN5state13remove_statesEP3vecIPS_7va_heap6vl_ptrE 3945
_ZN5state6do_xorEP5valueS1_P9tree_node 5281
_ZN5state26check_const_value_equalityEP5valueS1_ 5849
_ZN5value4lastEv 5966
_ZN5state16additive_inverseEPK5value 6576
_ZN5state6do_subEP5valueS1_P9tree_node 6576
_ZN5state31check_const_value_are_not_equalEP5valueS1_ 6746
_ZN5state18add_not_equal_condEP5valueS1_ 8581
_ZN5state18add_not_equal_condEP9tree_nodeS1_ 8581
_ZN5stateC2ERKS_ 9993
_ZN5state14get_conditionsEv 12616
_ZN5state15add_binary_condEP9tree_nodeS1_MS_FvP5valueS3_E 13148
_ZN5state16print_conditionsEv 13148
_ZN5state6do_addEP5valueS1_P9tree_node 13193
_ZN5state16clear_conditionsEv 13424
_ZN5stateD2Ev 13424
_ZN5state11make_numberEPK5value 15543
_ZN5state9do_assignEP9tree_nodeS1_ 16655
_ZN5state9get_valueEP9tree_node 18267
_Z3minmmm 20404
_ZN5state19do_binary_operationEP9tree_nodeS1_S1_MS_FvP5valueS3_S1_E 27283
_ZN5state24check_args_compatibilityEP9tree_nodeS1_S1_ 27283
_ZN5state20get_last_cond_statusEv 27311
_ZN5valueaSERKS_ 38543
_ZN5state13is_bit_vectorEPK5value 41286
_ZNK5value6existsEv 41286
_ZN5state12do_operationE9tree_codeP9tree_nodeS2_S2_ 43938
_ZN5state20create_val_for_constEP9tree_nodem 45544
_ZN5state13make_symbolicEP9tree_nodej 48847
_ZN5state11print_valueEP5value 49897
_ZN5state13and_var_constEPK9value_bitPK3bit 57880
_ZN5state12xor_sym_bitsEPK9value_bitS2_ 57899
_ZN5state27get_parent_with_const_childEP9value_bitRP14bit_expressionS4_ 94096
_ZN5state13xor_var_constEPK9value_bitPK3bit 110733
_ZN5state17declare_if_neededEP9tree_nodem 128307
_ZN5state11is_declaredEP9tree_node 158179
_ZN5valueC2ERKS_ 215416
_ZN5state16complement_a_bitEP9value_bit 232976
_ZN5state20complement_const_bitEPK3bit 232976
_ZN5state12operate_bitsEPFP9value_bitS1_S1_ES1_S1_PS1_ 259624
_ZN5valueC2Ejb 289495
_ZN5state12get_var_sizeEP9tree_node 335933
_ZNK5value9allocatedEv 372105
_ZN5state12operate_bitsEPFP9value_bitS1_S1_PS1_ES1_S1_S2_ 466376
_ZN5value9free_bitsEv 504911
_ZN5valueD2Ev 504911
_ZN5state10full_adderEP9value_bitS1_PS1_ 699544
_ZN5state11or_two_bitsEP9value_bitS1_ 699648
_ZN5state13or_const_bitsEPK3bitS2_ 699648
_ZN5state14and_const_bitsEPK3bitS2_ 1412800
_ZN5state14xor_const_bitsEPK3bitS2_ 1420235
_ZN5state12and_two_bitsEP9value_bitS1_ 1470680
_ZN5state12xor_two_bitsEP9value_bitS1_ 1588867
_ZN5value4pushEP9value_bit 7143656
_ZN5valueixEj 11967302
_ZNK5value6lengthEv 15086643
_ZNK5valueixEj 20559996

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.