From d4e097fbc4deecd044dd43bc497048c79fd9861b Mon Sep 17 00:00:00 2001 From: Timo Sirainen Date: Wed, 13 Sep 2017 23:26:49 +0300 Subject: [PATCH] global: Add asserts to help static analyzers --- src/lib-mail/message-size.c | 1 + src/lib/str-sanitize.c | 2 ++ 2 files changed, 3 insertions(+) diff --git a/src/lib-mail/message-size.c b/src/lib-mail/message-size.c index 3c90c023ee..7067710388 100644 --- a/src/lib-mail/message-size.c +++ b/src/lib-mail/message-size.c @@ -166,6 +166,7 @@ int message_skip_virtual(struct istream *input, uoff_t virtual_skip, if (i < size) return 0; + i_assert(i > 0); cr_skipped = msg[i-1] == '\r'; } i_assert(ret == -1); diff --git a/src/lib/str-sanitize.c b/src/lib/str-sanitize.c index 3b6d650dec..c28d63f020 100644 --- a/src/lib/str-sanitize.c +++ b/src/lib/str-sanitize.c @@ -29,6 +29,8 @@ static void str_sanitize_truncate_char(string_t *dest, unsigned int initial_pos) if (len == initial_pos) return; + + i_assert(len > 0); if ((data[len-1] & 0x80) == 0) { str_truncate(dest, len-1); return; -- 2.47.3