Public Member Functions | |
block_location_info (unsigned _source_file_idx) | |
Data Fields | |
unsigned | source_file_idx |
vector< unsigned > | lines |
Describes which locations (lines and files) are associated with a basic block.
|
inline |
References source_file_idx.
vector<unsigned> block_location_info::lines |
Referenced by json_set_prime_path_coverage(), print_prime_path_lines(), and print_prime_path_source().
unsigned block_location_info::source_file_idx |