| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_real_absolute.c | 121 if (is_whole_rl(rl) && !get_state_expr(my_id, expr->left)) in match_assign()
124 if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left)) in match_assign()
132 return get_state_expr(my_id, expr); in get_real_absolute_state()
|
| H A D | check_get_user_overflow.c | 83 if (get_state_expr(my_max_id, expr->left)) { in match_condition()
87 if (get_state_expr(my_max_id, expr->right)) { in match_condition()
95 if (get_state_expr(my_max_id, expr->left)) { in match_normal_assign()
|
| H A D | check_dma_mapping_error.c | 46 if (!get_state_expr(my_id, expr)) in match_condition()
63 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return()
|
| H A D | check_return_efault.c | 48 if (!get_state_expr(my_id, expr)) in match_condition()
72 state = get_state_expr(SMATCH_EXTRA, ret_value); in match_return_var()
|
| H A D | check_spectre_second_half.c | 77 state = get_state_expr(my_id, expr->right); in match_assign()
92 state = get_state_expr(my_id, expr); in match_done()
|
| H A D | check_readl_infinite_loops.c | 54 if (get_state_expr(my_id, expr) == &readl) in is_readl()
63 else if (get_state_expr(my_id, expr->left)) in match_assign()
|
| H A D | check_kernel.c | 90 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_valid_ptr()
112 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_param_err_or_null()
132 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_not_err()
148 pre_state = get_state_expr(SMATCH_EXTRA, arg); in match_err()
|
| H A D | check_input_free_device.c | 34 if (get_state_expr(my_id, expr->left)) { in match_assign()
|
| H A D | check_kmalloc_to_bugon.c | 47 state = get_state_expr(check_assigned_expr_id, expr); in match_condition()
|
| H A D | check_container_of.c | 48 if (get_state_expr(my_id, expr) == &non_null) { in match_condition()
|
| H A D | smatch_imaginary_absolute.c | 67 state = get_state_expr(my_id, expr); in get_imaginary_absolute()
|
| H A D | smatch_constraints.c | 311 state = get_state_expr(my_id, offset); in unmet_constraint()
402 state = get_state_expr(my_id, expr); in get_constraints()
417 state = get_state_expr(my_id, tmp); in match_caller_info()
|
| H A D | check_nospec.c | 48 if (get_state_expr(my_id, expr) == &nospec) in is_nospec()
82 if (get_state_expr(my_id, arg) == &nospec) in match_call_info()
|
| H A D | check_resource_size.c | 52 state = get_state_expr(check_assigned_expr_id, expr); in handle_assigned_expr()
|
| H A D | check_wine_filehandles.c | 72 if (get_state_expr(my_id, expr) == &filehandle) { in match_condition()
|
| H A D | check_freeing_devm.c | 36 if (!get_state_expr(my_id, arg_expr)) in match_free_func()
|
| H A D | check_expects_err_ptr.c | 57 state = get_state_expr(my_id, expr); in get_arg_num()
|
| H A D | smatch_kernel_user_data.c | 168 state = get_state_expr(my_id, expr); in user_rl_capped()
190 state = get_state_expr(my_id, expr); in user_rl_treat_untagged()
654 if (get_state_expr(my_id, expr->left)) in match_assign()
662 left_orig = get_state_expr(my_id, expr->left); in handle_eq_noteq()
663 right_orig = get_state_expr(my_id, expr->right); in handle_eq_noteq()
960 state = get_state_expr(my_id, expr); in var_user_rl()
972 if (!get_state_expr(my_id, array)) { in var_user_rl()
|
| H A D | smatch_capped.c | 121 if (get_state_expr(my_id, expr) == &capped) in is_capped()
214 if (get_state_expr(my_id, expr->left)) in match_assign()
|
| H A D | smatch_strlen.c | 239 state = get_state_expr(my_strlen_id, expr); in get_strlen_from_state()
250 state = get_state_expr(my_equiv_id, expr); in get_strlen_from_equiv()
|
| H A D | check_buffer_too_small_for_struct.c | 79 state = get_state_expr(my_id, expr); in match_dereferences()
|
| H A D | check_pointer_math.c | 61 if (get_state_expr(my_id, expr) == &size_in_bytes) in is_size_in_bytes()
|
| H A D | check_missing_break.c | 89 if (get_state_expr(my_id, left) == &no_break) in match_assign()
|
| H A D | smatch_assigned_expr.c | 44 state = get_state_expr(my_id, expr); in get_assigned_expr()
|
| H A D | check_check_deref.c | 156 if (get_state_expr(my_id, expr)) in match_condition()
|