2 * Copyright (C) 2009 Dan Carpenter.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
19 * Check for things which are signed but probably should be unsigned.
21 * Hm... It seems like at this point in the processing, sparse makes all
22 * bitfields unsigned. Which is logical but not what GCC does.
27 #include "smatch_extra.h"
31 #define VAR_ON_RIGHT 0
34 static void match_assign(struct expression
*expr
)
40 char *left_name
, *right_name
;
42 if (expr
->op
== SPECIAL_AND_ASSIGN
|| expr
->op
== SPECIAL_OR_ASSIGN
)
45 sym
= get_type(expr
->left
);
46 if (!sym
|| sym
->type
!= SYM_BASETYPE
) {
47 //sm_msg("could not get type");
50 if (type_bits(sym
) < 0 || type_bits(sym
) >= 32) /* max_val limits this */
52 if (!get_implied_value(expr
->right
, &sval
))
54 max
= sval_type_max(sym
);
55 if (sym
!= &bool_ctype
&& sym
!= &uchar_ctype
&&
56 sval_cmp(max
, sval
) < 0 &&
57 !(sval
.value
< 256 && max
.value
== 127)) {
58 left_name
= expr_to_str(expr
->left
);
59 right_name
= expr_to_str(expr
->right
);
60 sm_msg("warn: '%s' %s can't fit into %s '%s'",
61 right_name
, sval_to_numstr(sval
), sval_to_numstr(max
), left_name
);
62 free_string(left_name
);
64 min
= sval_type_min(sym
);
65 if (sval_cmp_t(&llong_ctype
, min
, sval
) > 0) {
66 if (min
.value
== 0 && sval
.value
== -1) /* assigning -1 to unsigned variables is idiomatic */
68 if (expr
->right
->type
== EXPR_PREOP
&& expr
->right
->op
== '~')
70 if (expr
->op
== SPECIAL_SUB_ASSIGN
|| expr
->op
== SPECIAL_ADD_ASSIGN
)
72 if (sval_positive_bits(sval
) == 7)
74 left_name
= expr_to_str(expr
->left
);
76 sm_msg("warn: assigning %s to unsigned variable '%s'",
77 sval_to_str(sval
), left_name
);
79 sm_msg("warn: value %s can't fit into %s '%s'",
80 sval_to_str(sval
), sval_to_str(min
), left_name
);
82 free_string(left_name
);
86 static int cap_gt_zero_and_lt(struct expression
*expr
)
89 struct expression
*var
= expr
->left
;
90 struct expression
*tmp
;
97 if (!get_value(expr
->right
, &known
) || known
.value
!= 0)
101 FOR_EACH_PTR_REVERSE(big_expression_stack
, tmp
) {
104 if (tmp
->op
== SPECIAL_LOGICAL_AND
) {
105 struct expression
*right
= strip_expr(tmp
->right
);
107 if (right
->op
!= '<' &&
108 right
->op
!= SPECIAL_UNSIGNED_LT
&&
109 right
->op
!= SPECIAL_LTE
&&
110 right
->op
!= SPECIAL_UNSIGNED_LTE
)
113 name1
= expr_to_str(var
);
117 name2
= expr_to_str(right
->left
);
120 if (!strcmp(name1
, name2
))
126 } END_FOR_EACH_PTR_REVERSE(tmp
);
134 static int cap_lt_zero_or_gt(struct expression
*expr
)
137 struct expression
*var
= expr
->left
;
138 struct expression
*tmp
;
145 if (!get_value(expr
->right
, &known
) || known
.value
!= 0)
149 FOR_EACH_PTR_REVERSE(big_expression_stack
, tmp
) {
152 if (tmp
->op
== SPECIAL_LOGICAL_OR
) {
153 struct expression
*right
= strip_expr(tmp
->right
);
155 if (right
->op
!= '>' &&
156 right
->op
!= SPECIAL_UNSIGNED_GT
&&
157 right
->op
!= SPECIAL_GTE
&&
158 right
->op
!= SPECIAL_UNSIGNED_GTE
)
161 name1
= expr_to_str(var
);
165 name2
= expr_to_str(right
->left
);
168 if (!strcmp(name1
, name2
))
174 } END_FOR_EACH_PTR_REVERSE(tmp
);
182 static int cap_both_sides(struct expression
*expr
)
186 case SPECIAL_UNSIGNED_LT
:
188 case SPECIAL_UNSIGNED_LTE
:
189 return cap_lt_zero_or_gt(expr
);
191 case SPECIAL_UNSIGNED_GT
:
193 case SPECIAL_UNSIGNED_GTE
:
194 return cap_gt_zero_and_lt(expr
);
199 static int compare_against_macro(struct expression
*expr
)
203 if (expr
->op
!= SPECIAL_UNSIGNED_LT
)
206 if (!get_value(expr
->right
, &known
) || known
.value
!= 0)
208 return !!get_macro_name(expr
->right
->pos
);
211 static int print_unsigned_never_less_than_zero(struct expression
*expr
)
216 if (expr
->op
!= SPECIAL_UNSIGNED_LT
)
219 if (!get_value(expr
->right
, &known
) || known
.value
!= 0)
222 name
= expr_to_str(expr
->left
);
223 sm_msg("warn: unsigned '%s' is never less than zero.", name
);
228 static void match_condition(struct expression
*expr
)
233 struct range_list
*rl_left_orig
, *rl_right_orig
;
234 struct range_list
*rl_left
, *rl_right
;
236 if (expr
->type
!= EXPR_COMPARE
)
239 type
= get_type(expr
);
243 /* screw it. I am writing this to mark yoda code as buggy.
244 * Valid comparisons between an unsigned and zero are:
246 * 2) foo < LOWER_BOUND where LOWER_BOUND is a macro.
247 * 3) foo < 0 || foo > X in exactly this format. No Yoda.
248 * 4) foo >= 0 && foo < X
250 if (get_macro_name(expr
->pos
))
252 if (compare_against_macro(expr
))
254 if (cap_both_sides(expr
))
257 /* This is a special case for the common error */
258 if (print_unsigned_never_less_than_zero(expr
))
261 /* check that one and only one side is known */
262 if (get_value(expr
->left
, &known
)) {
263 if (get_value(expr
->right
, &known
))
265 rl_left_orig
= alloc_rl(known
, known
);
266 rl_left
= cast_rl(type
, rl_left_orig
);
268 min
= sval_type_min(get_type(expr
->right
));
269 max
= sval_type_max(get_type(expr
->right
));
270 rl_right_orig
= alloc_rl(min
, max
);
271 rl_right
= cast_rl(type
, rl_right_orig
);
272 } else if (get_value(expr
->right
, &known
)) {
273 rl_right_orig
= alloc_rl(known
, known
);
274 rl_right
= cast_rl(type
, rl_right_orig
);
276 min
= sval_type_min(get_type(expr
->left
));
277 max
= sval_type_max(get_type(expr
->left
));
278 rl_left_orig
= alloc_rl(min
, max
);
279 rl_left
= cast_rl(type
, rl_left_orig
);
284 if (!possibly_true_rl(rl_left
, expr
->op
, rl_right
)) {
285 char *name
= expr_to_str(expr
);
287 sm_msg("warn: impossible condition '(%s) => (%s %s %s)'", name
,
288 show_rl(rl_left
), show_special(expr
->op
),
293 if (!possibly_false_rl(rl_left
, expr
->op
, rl_right
)) {
294 char *name
= expr_to_str(expr
);
296 sm_msg("warn: always true condition '(%s) => (%s %s %s)'", name
,
297 show_rl(rl_left_orig
), show_special(expr
->op
),
298 show_rl(rl_right_orig
));
303 void check_signed(int id
)
307 add_hook(&match_assign
, ASSIGNMENT_HOOK
);
308 add_hook(&match_condition
, CONDITION_HOOK
);