Thanks Randy, for sending this to me.  I'm on the sparse list, but
I've been on vacation and haven't caught up with my email.  I can
easily silence this in Smatch.

regards,
dan carpenter

diff --git a/check_unsigned_lt_zero.c b/check_unsigned_lt_zero.c
index bfeb3261f91d..ac3e650704ce 100644
--- a/check_unsigned_lt_zero.c
+++ b/check_unsigned_lt_zero.c
@@ -105,7 +105,8 @@ static bool is_allowed_zero(struct expression *expr)
            strcmp(macro, "STRTO_H") == 0 ||
            strcmp(macro, "SUB_EXTEND_USTAT") == 0 ||
            strcmp(macro, "TEST_CASTABLE_TO_TYPE_VAR") == 0 ||
-           strcmp(macro, "TEST_ONE_SHIFT") == 0)
+           strcmp(macro, "TEST_ONE_SHIFT") == 0 ||
+           strcmp(macro, "check_shl_overflow") == 0)
                return true;
        return false;
 }

Reply via email to