liblzma: Add assertions to lzma_bufcpy()

(cherry picked from commit b9d168eee4fb6393b4fe207c0aeb5faee316ca1a)

diff --git a/src/liblzma/common/common.c b/src/liblzma/common/common.c
index cc0e06a51bee1d2aa40be98c05247e310a87a54f..1f72a6fa5e2b776ae33b0eb37e7287983caa87a2 100644 (file)
--- a/src/liblzma/common/common.c
+++ b/src/liblzma/common/common.c
@@ -96,6 +96,12 @@ lzma_bufcpy(const uint8_t *restrict in, size_t *restrict in_pos,
                size_t in_size, uint8_t *restrict out,
                size_t *restrict out_pos, size_t out_size)
 {
+       assert(in != NULL || *in_pos == in_size);
+       assert(out != NULL || *out_pos == out_size);
+
+       assert(*in_pos <= in_size);
+       assert(*out_pos <= out_size);
+
        const size_t in_avail = in_size - *in_pos;
        const size_t out_avail = out_size - *out_pos;
        const size_t copy_size = my_min(in_avail, out_avail);