From: Lasse Collin <lasse.collin@tukaani.org>
Date: Thu, 24 Apr 2008 17:19:20 +0000 (+0300)
Subject: Added two assert()s.
X-Git-Tag: v4.999.3alpha~7
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=283f939974c32c47f05d495e8dea455ec646ed64;p=xz

Added two assert()s.
---

diff --git a/src/liblzma/lzma/lzma_encoder.c b/src/liblzma/lzma/lzma_encoder.c
index f7aec876..4eee84f3 100644
--- a/src/liblzma/lzma/lzma_encoder.c
+++ b/src/liblzma/lzma/lzma_encoder.c
@@ -71,7 +71,7 @@ do { \
 
 #define length_encode(length_encoder, symbol, pos_state, update_price) \
 do { \
-	\
+	assert((symbol) <= MATCH_MAX_LEN); \
 	if ((symbol) < LEN_LOW_SYMBOLS) { \
 		bit_encode_0((length_encoder).choice); \
 		bittree_encode((length_encoder).low[pos_state], \
@@ -352,6 +352,8 @@ lzma_lzma_encode(lzma_coder *coder, uint8_t *restrict out,
 	if (coder->lz.sequence != SEQ_RUN
 			&& coder->lz.read_pos == coder->lz.write_pos
 			&& coder->additional_offset == 0) {
+		assert(coder->longest_match_was_found == false);
+
 		if (coder->lz.uncompressed_size == LZMA_VLI_VALUE_UNKNOWN
 				|| coder->lz.sequence == SEQ_FLUSH) {
 			// Write special marker: flush marker or end of payload