Searched refs:hash_table_state_required_bytes (Results 1 – 4 of 4) sorted by relevance
60 int hash_table_state_required_bytes(size_t size, size_t *required_bytes);
97 … __CPROVER_assume(hash_table_state_required_bytes(state->size, &size_in_bytes) == AWS_OP_SUCCESS); in save_byte_from_hash_table()
157 __CPROVER_assume(!hash_table_state_required_bytes(num_entries, &required_bytes)); in ensure_allocated_hash_table()
170 if (hash_table_state_required_bytes(template->size, &required_bytes)) { in s_alloc_state()1094 int hash_table_state_required_bytes(size_t size, size_t *required_bytes) { in hash_table_state_required_bytes() function