| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_constraints_required.c | 127 if (!get_implied_value(left, &struct_size)) in handle_zero_size_arrays()
139 if (get_implied_value(mult_left, &sval) && in handle_zero_size_arrays()
142 else if (get_implied_value(mult_right, &sval) && in handle_zero_size_arrays()
196 if (get_implied_value(mult_left, &sval) && in match_alloc_helper()
199 else if (get_implied_value(mult_right, &sval) && in match_alloc_helper()
207 get_implied_value(size->right, &sval) && in match_alloc_helper()
236 if (get_implied_value(size, &sval) && in match_calloc()
241 if (get_implied_value(size, &sval) && in match_calloc()
|
| H A D | check_shift_to_zero.c | 30 if (!get_implied_value(expr->right, &bits)) in match_binop()
78 if (!get_implied_value(expr->right, &bits)) in match_assign()
|
| H A D | check_impossible_mask.c | 32 if (get_implied_value(expr, &sval))
73 if (!get_implied_value(expr->right, &sval)) in get_possible_bits()
|
| H A D | check_testing_index_after_use.c | 80 if (get_implied_value(expr->left, &sval)) in match_condition()
82 else if (get_implied_value(expr->right, &sval)) in match_condition()
|
| H A D | smatch_extra.c | 713 if (!get_implied_value(condition->right, &end)) in handle_canonical_for_inc()
1109 if (get_implied_value(right, &sval)) { in match_vanilla_assign()
1458 if (!get_implied_value(left->unop, &start)) in handle_postop_inc()
1460 if (!get_implied_value(right, &limit)) in handle_postop_inc()
1594 if (get_implied_value(right, &dummy) && !in_macro(left, right)) in handle_comparison()
1596 if (get_implied_value(left, &dummy) && !in_macro(left, right)) in handle_comparison()
1603 if (get_implied_value(left, &dummy) && !in_macro(left, right)) in handle_comparison()
1605 if (get_implied_value(right, &dummy) && !in_macro(left, right)) in handle_comparison()
1620 if (get_implied_value(right, &hard_max)) { in handle_comparison()
1632 if (get_implied_value(left, &hard_max)) { in handle_comparison()
[all …]
|
| H A D | check_capable.c | 33 if (!get_implied_value(arg, &sval)) in match_capable()
49 if (!get_implied_value(arg, &sval)) in match_ns_capable()
|
| H A D | smatch_capped.c | 163 if (get_implied_value(left, &sval) || in match_condition()
164 get_implied_value(right, &sval)) in match_condition()
228 if (get_implied_value(tmp, &sval)) in match_caller_info()
|
| H A D | smatch_parse_call_math.c | 393 if (!param_was_set(expr) && get_implied_value(expr, &sval) && !is_mtag_sval(sval)) { in format_expr_helper()
432 if (get_implied_value(expr, &dummy)) in get_value_in_terms_of_parameter_math()
459 if (get_implied_value(expr, &sval)) in get_value_in_terms_of_parameter_math_var_sym()
520 } else if (get_implied_value(arg, &sval)) { in swap_format()
|
| H A D | check_wine.c | 34 if (!get_implied_value(arg, &sval)) in match_fatal_report()
|
| H A D | check_bogus_irqrestore.c | 28 if (!get_implied_value(arg_expr, &tmp)) in match_irqrestore()
|
| H A D | check_cmn_err.c | 38 if (!get_implied_value(arg, &sval)) in match_cmn_err()
|
| H A D | check_freeing_null.c | 29 if (!get_implied_value(arg_expr, &sval)) in match_free()
|
| H A D | smatch_mtag_map.c | 44 if (!get_implied_value(right, &sval)) in match_assign()
|
| H A D | check_proc_create.c | 40 if (!get_implied_value(arg_expr, &sval)) in match_create()
|
| H A D | smatch_buf_size.c | 294 if (!get_implied_value(type->array_size, &sval)) in get_real_array_size_from_type()
415 if (!get_implied_value(type->array_size, &sval)) in last_member_is_resizable()
492 if (!get_implied_value(expr->right, &offset)) in get_array_size_bytes_rl()
707 if (get_implied_value(right, &sval) && sval.value == 0) { in match_array_assignment()
787 if (!get_implied_value(arg, &sval)) in match_alloc_pages()
|
| H A D | check_snprintf_overflow.c | 38 if (!get_implied_value(dest_size_expr, &limit_size)) in match_snprintf()
|
| H A D | check_err_ptr.c | 56 if (get_implied_value(ret_value, &sval)) { in match_return()
|
| H A D | smatch_passes_array_size.c | 30 if (!get_implied_value(arg, &val)) in find_param_eq()
|
| H A D | check_kmalloc_wrong_size.c | 42 if (!get_implied_value(size_expr, &sval)) in check_size_matches()
|
| H A D | smatch_math.c | 459 if (!get_implied_value(expr->right, &right)) in handle_mod_rl()
461 if (!get_implied_value(expr->left, &left)) in handle_mod_rl()
1169 if (get_implied_value(arg, &tag) && in handle_strlen()
1621 int get_implied_value(struct expression *expr, sval_t *sval) in get_implied_value() function
1815 if (get_implied_value(expr, &tmp) && tmp.value) in known_condition_true()
1834 if (get_implied_value(expr, &tmp) && tmp.value == 0) in known_condition_false()
1854 if (get_implied_value(expr, &tmp) && tmp.value) in implied_condition_true()
1912 if (get_implied_value(expr, &sval) && sval.value == 0) in implied_condition_false()
|
| H A D | smatch_bits.c | 251 if (get_implied_value(expr, &known)) in get_bit_info()
314 if (!get_implied_value(expr->right, &val)) in match_compare()
|
| H A D | smatch_buf_comparison.c | 178 if (get_implied_value(mult_left, &sval) && in match_alloc_helper()
181 else if (get_implied_value(mult_right, &sval) && in match_alloc_helper()
227 if (get_implied_value(arg, &sval) && in match_calloc()
|
| H A D | check_leaks.c | 196 if (get_implied_value(expr, &sval) && sval.value == 0) in warn_if_allocated()
|
| H A D | check_index_overflow.c | 33 if (!get_implied_value(offset, &sval)) in definitely_just_used_as_limiter()
|
| H A D | check_signed.c | 54 if (!get_implied_value(expr->right, &sval)) in match_assign()
|