| 142 | } |
| 143 | |
| 144 | Status FuzzReadPageIndex(RowGroupPageIndexReader* reader, const SchemaDescriptor* schema, |
| 145 | int column) { |
| 146 | Status st; |
| 147 | BEGIN_PARQUET_CATCH_EXCEPTIONS |
| 148 | auto offset_index = reader->GetOffsetIndex(column); |
| 149 | if (offset_index) { |
| 150 | offset_index->page_locations(); |
| 151 | offset_index->unencoded_byte_array_data_bytes(); |
| 152 | } |
| 153 | auto col_index = reader->GetColumnIndex(column); |
| 154 | if (col_index) { |
| 155 | st &= FuzzReadColumnIndex(col_index.get(), schema->Column(column)); |
| 156 | } |
| 157 | END_PARQUET_CATCH_EXCEPTIONS |
| 158 | return st; |
| 159 | } |
| 160 | |
| 161 | Status FuzzReadBloomFilter(RowGroupBloomFilterReader* reader, int column, |
| 162 | std::uniform_int_distribution<uint64_t>& hash_dist, |
no test coverage detected