LCOV - code coverage report
Current view: top level - gcc - crc-verification.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 83.1 % 490 407
Test Date: 2025-04-26 15:52:03 Functions: 100.0 % 35 35
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
_Z32assign_known_vals_to_header_phisP5stateP4loop 227
_Z19polynomial_is_knownPK5value 247
_Z15determine_indexP9tree_nodeb 258
_Z26assign_vals_to_header_phisP5stateP4loopP4gphiS4_b 258
_ZN22crc_symbolic_execution16execute_crc_loopEP4gphiS1_b 258
_ZN22crc_symbolic_execution18extract_polynomialEP4gphiS1_P9tree_nodeb 258
_Z31assign_calc_vals_to_header_phisRK3vecIP5state7va_heap6vl_ptrES1_P4loop 2826
_Z12is_xor_stateP5valuemm 3051
_Z38init_sb_index_and_other_part_begin_endRmS_S_mb 3051
_Z21all_states_match_lfsrP5valuebP9tree_nodeRK3vecIP5state7va_heap6vl_ptrE 3053
_ZN22crc_symbolic_execution20create_initial_stateEP4loop 3053
_ZN22crc_symbolic_execution21symb_execute_crc_loopEv 3053
_Z14given_sb_matchP9value_bitS0_t 6098
_Z23lfsr_and_crc_bits_matchPK5valueS1_P9tree_nodemmmt 6098
_Z8sb_matchPK5valueS1_mmt 6098
_Z17get_origin_of_crcP9value_bit 6100
_Z20is_crc_xor_conditionP9tree_nodehmP5state 6100
_Z21may_be_xors_conditionP9tree_nodeP9value_bitm 6100
_Z22lfsr_matches_crc_statePK5valueP5statePS_mmmt 6100
_Z11get_crc_valP9tree_nodeP5state 6102
_ZN22crc_symbolic_execution11keep_statesEv 6351
_ZN22crc_symbolic_execution15add_final_stateEP5state 6351
_ZN22crc_symbolic_execution8add_edgeEP8edge_defR8auto_vecIS1_Lm0EE 6600
_Z31get_origin_of_crc_from_symb_bitP9value_bit 8079
_ZN22crc_symbolic_execution12add_next_bbsEP15basic_block_defP5stateR8auto_vecIP8edge_defLm0EE 9651
_ZN22crc_symbolic_execution13add_conditionEPK5gcondP5stateS4_ 9651
_ZN22crc_symbolic_execution17resolve_conditionEPK5gcondR8auto_vecIP8edge_defLm0EE 9651
_ZN22crc_symbolic_execution21execute_bb_statementsEP15basic_block_defP8edge_defR8auto_vecIS3_Lm0EE 12612
_ZN22crc_symbolic_execution25execute_bb_phi_statementsEP15basic_block_defP8edge_def 12612
_ZN22crc_symbolic_execution28execute_bb_gimple_statementsEP15basic_block_defR8auto_vecIP8edge_defLm0EE 15923
_ZN22crc_symbolic_execution24execute_assign_statementEPK7gassign 29493
_ZN22crc_symbolic_execution24is_used_outside_the_loopEP9tree_node 33943
_Z18is_a_valid_xor_oneP9value_bitP9tree_nodem 35034
_Z6is_oneP9value_bit 35034
_Z15is_a_valid_symbP9value_bitP9tree_nodem 200270

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.