fn fuzzedHuffmanDrainSpaceLimit(max_drain: usize, written: usize, eos: bool) usize max_drain: usizewritten: usizeeos: bool2500
2501
2502
2503
2504
2505
2506fn fuzzedHuffmanDrainSpaceLimit(max_drain: usize, written: usize, eos: bool) usize {
var block_lim = math.divCeil(usize, max_drain, Huffman.max_tokens) catch unreachable;
block_lim = @max(block_lim, @intFromBool(eos));
const footer_overhead = @as(u8, 8) * @intFromBool(eos);
// 6 for a raw block header (the block header may span two bytes)
return written + 6 * block_lim + max_drain + footer_overhead;
}