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