12724 update smatch to 0.6.1-rc1-il-5

@@ -333,10 +333,31 @@
                 return -1;
 
         return left_offset - right_offset;
 }
 
+static bool max_is_unknown_max(struct range_list *rl)
+{
+        /*
+         * The issue with this code is that we had:
+         * if (foo > 1) return 1 - foo;
+         * Ideally we would say that returns s32min-(-1) but what Smatch
+         * was saying was that the lowest possible value was "1 - INT_MAX"
+         *
+         * My solution is to ignore max values for int or larger.  I keep
+         * the max for shorts etc, because those might be worthwhile.
+         *
+         * The problem with just returning 1 - INT_MAX is that that is
+         * treated as useful information but s32min is treated as basically
+         * unknown.
+         */
+
+        if (type_bits(rl_type(rl)) < 31)
+                return false;
+        return sval_is_max(rl_max(rl));
+}
+
 static bool handle_subtract_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res)
 {
         struct symbol *type;
         struct range_list *left_orig, *right_orig;
         struct range_list *left_rl, *right_rl;

@@ -407,11 +428,12 @@
                         return false;
                 *res = rl_binop(left_rl, '-', right_rl);
                 return true;
         }
 
-        if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
+        if (!max_is_unknown_max(right_rl) &&
+            !sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) {
                 tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));
                 if (sval_cmp(tmp, min) > 0)
                         min = tmp;
         }
 

@@ -1213,11 +1235,11 @@
         }
 
         if (sym_name_is("strlen", expr->fn))
                 return handle_strlen(expr, implied, recurse_cnt, res, res_sval);
 
-        if (implied == RL_EXACT || implied == RL_HARD || implied == RL_FUZZY)
+        if (implied == RL_EXACT || implied == RL_HARD)
                 return false;
 
         if (custom_handle_variable) {
                 rl = custom_handle_variable(expr);
                 if (rl) {