48     check(dst);  in parse_hex()
49     check(src);  in parse_hex()
50     check(2 * size == strlen(src));  in parse_hex()
56         check(l >= 0);  in parse_hex()
57         check(h >= 0);  in parse_hex()
73     check(src);  in parse_uint64()
74     check(dst);  in parse_uint64()
126     check(md);  in get_hash()
128     check(mdctx);  in get_hash()
137     check(hash_size == digest_length_);  in get_hash()
143     check(nid == NID_sha256 || nid == NID_sha1);  in initialize()
159     check(block);  in check_block_hash()
167     check(expected);  in check_block_hash()
173     check(index < data_blocks);  in check_block_hash_with_index()
184     check(f);  in ecc_read_hashes()
193     check(data);  in ecc_read_hashes()
205     check(f);  in verify_tree()
206     check(root);  in verify_tree()
216     check(hash_start < UINT64_MAX - hash_size);  in verify_tree()
217     check(hash_start + hash_size <= f->data_size);  in verify_tree()
259     check(hash_data_blocks);  in verify_tree()
260     check(hash_data_blocks <= hash_size / FEC_BLOCKSIZE);  in verify_tree()
262     check(hash_data_offset);  in verify_tree()
263     check(hash_data_offset <= UINT64_MAX - (hash_data_blocks * FEC_BLOCKSIZE));  in verify_tree()
264     check(hash_data_offset < f->data_size);  in verify_tree()
265     check(hash_data_offset + hash_data_blocks * FEC_BLOCKSIZE <= f->data_size);  in verify_tree()
344     check(f);  in parse_table()
345     check(size >= VERITY_MIN_TABLE_SIZE);  in parse_table()
346     check(size <= VERITY_MAX_TABLE_SIZE);  in parse_table()
421             check(salt_size % 2 == 0);  in parse_table()
443     check(hash_start < f->data_size);  in parse_table()
447         check(data_blocks == v->metadata_start / FEC_BLOCKSIZE);  in parse_table()
449         check(data_blocks == hash_start / FEC_BLOCKSIZE);  in parse_table()
460         check(!v->hashtree.hash_data.empty());  in parse_table()
461         check(!v->hashtree.zero_hash.empty());  in parse_table()
470     check(f);  in rewrite_metadata()
471     check(f->data_size > VERITY_METADATA_SIZE);  in rewrite_metadata()
472     check(offset <= f->data_size - VERITY_METADATA_SIZE);  in rewrite_metadata()
487     check(!v->table.empty());  in rewrite_metadata()
490     check(sizeof(v->header) + len <= VERITY_METADATA_SIZE);  in rewrite_metadata()
499     check(f);  in validate_header()
500     check(header);  in validate_header()
539     check(f);  in verity_parse_header()
540     check(f->data_size > VERITY_METADATA_SIZE);  in verity_parse_header()
629     check(f);  in fec_verity_set_status()