global: Add asserts to help static analyzers

diff --git a/src/lib-mail/message-size.c b/src/lib-mail/message-size.c
index 3c90c023eebd42b3c2c5773fbc79c58ca65db8d7..7067710388c294d11420935cb04709575ec1f43f 100644 (file)
--- 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 3b6d650dec0b6ccb27aae211fb579b23c90a803e..c28d63f0209b150194edf2d161cf886df403bca7 100644 (file)
--- 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;