liblzma: Add assertions to lzma_bufcpy()

diff --git a/src/liblzma/common/common.c b/src/liblzma/common/common.c
index fa95acf2b06f2806939b3e557de49ba2875a99b3..6e031a56c888c21be1a4577bb1b84abf57315e53 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);