diff options
author | edef <edef@edef.eu> | 2024-05-07T08·33+0000 |
---|---|---|
committer | edef <edef@edef.eu> | 2024-05-08T04·44+0000 |
commit | ebad318ab3accf34dff84a49d18b96a7efd15c22 (patch) | |
tree | 0f9b55e497e6dd2003c81c77c36ffcf31bff7de4 /tvix/clippy.toml | |
parent | 0472b55b2009825e761ace8d17475d7f057ac924 (diff) |
fix(nix-compat/wire/bytes/reader): always read trailer tag data r/8085
Even if we have an aligned (or zero) size (and thus have no padding), we may still have a non-padding trailer. Since an exact read of only the user data bytes must always read the trailer bytes as well, this has to happen for aligned sizes too. For zero-sized trailers, we solve this by reading immediately, since no read is required of the user at all. user_len thus becomes a NonZeroU64, and the definition of "body data" is adjusted to always exclude the final block. Change-Id: I2c6bb51270fb22ad72a65076a3468673ab56ef68 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11597 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/clippy.toml')
0 files changed, 0 insertions, 0 deletions