Home
last modified time | relevance | path

Searched refs:strip_expr (Results 1 – 25 of 109) sorted by relevance

12345

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints_required.c124 left = strip_expr(size->left); in handle_zero_size_arrays()
125 right = strip_expr(size->right); in handle_zero_size_arrays()
169 pointer = strip_expr(pointer); in match_alloc_helper()
170 size = strip_expr(size); in match_alloc_helper()
177 size = strip_expr(tmp); in match_alloc_helper()
219 call = strip_expr(expr->right); in match_alloc()
233 call = strip_expr(expr->right); in match_calloc()
313 right = strip_expr(tmp); in match_assign_data()
370 array = strip_expr(expr->right); in match_assign_ARRAY_SIZE()
373 array = strip_expr(array->left); in match_assign_ARRAY_SIZE()
[all …]
H A Dsmatch_function_ptrs.c40 expr = strip_expr(expr); in get_from__symbol_get()
57 expr = strip_expr(expr); in xxx_is_array()
62 expr = strip_expr(expr->unop); in xxx_is_array()
85 expr = strip_expr(expr); in xxx_get_array_base()
87 expr = strip_expr(expr->unop); in xxx_get_array_base()
187 expr = strip_expr(expr); in get_fnptr_name()
191 expr = strip_expr(expr->unop); in get_fnptr_name()
249 tmp = strip_expr(arg); in match_passes_function_pointer()
251 tmp = strip_expr(tmp->unop); in match_passes_function_pointer()
323 right = strip_expr(expr->right); in match_function_assign()
[all …]
H A Dsmatch_struct_assignment.c102 right = strip_expr(right->unop); in get_right_base_expr()
117 expr = strip_expr(expr); in remove_addr()
122 return strip_expr(expr->unop); in remove_addr()
172 right = strip_expr(right); in handle_non_struct_assignments()
244 left = strip_expr(left); in __struct_members_copy()
245 right = strip_expr(right); in __struct_members_copy()
370 right = strip_expr(expr->right); in handle_param_offsets()
391 call = strip_expr(expr->right); in returns_container_of()
439 buf = strip_expr(buf); in match_memset()
462 left = strip_expr(expr->left); in match_memdup()
[all …]
H A Dcheck_64bit_shift.c29 expr = strip_expr(expr); in match_shift_mask()
39 right = strip_expr(expr->right); in match_shift_mask()
43 shifter = strip_expr(right->right); in match_shift_mask()
61 right = strip_expr(expr->right); in match_shift_assignment()
H A Dcheck_rosenberg.c136 ptr = strip_expr(ptr); in match_clear()
139 ptr = strip_expr(ptr->unop); in match_clear()
239 data = strip_expr(data); in check_was_initialized()
243 data = strip_expr(data->unop); in check_was_initialized()
258 data = strip_expr(data); in check_skb_put()
262 data = strip_expr(data->unop); in check_skb_put()
277 data = strip_expr(data); in match_copy_to_user()
288 expr = strip_expr(expr->right); in db_param_cleared()
305 expr = strip_expr(expr); in alloc_expr_state()
H A Dsmatch_mtag.c104 expr = strip_expr(expr->right); in get_allocator_info()
142 left = strip_expr(expr->left); in get_mtag_return()
143 right = strip_expr(expr->right); in get_mtag_return()
349 expr = strip_expr(expr); in expr_to_mtag_offset()
357 expr = strip_expr(expr->unop); in expr_to_mtag_offset()
367 expr = strip_expr(expr->deref); in expr_to_mtag_offset()
371 expr = strip_expr(expr->unop); in expr_to_mtag_offset()
413 expr = strip_expr(expr); in get_mtag_sval()
436 expr = strip_expr(expr->unop); in get_mtag_sval()
H A Dsmatch_buf_comparison.c119 expr = strip_expr(expr); in alloc_compare_size()
161 pointer = strip_expr(pointer); in match_alloc_helper()
162 size = strip_expr(size); in match_alloc_helper()
167 size = strip_expr(tmp); in match_alloc_helper()
210 pointer = strip_expr(expr->left); in match_alloc()
211 call = strip_expr(expr->right); in match_alloc()
225 call = strip_expr(expr->right); in match_calloc()
273 expr = strip_expr(expr); in array_check()
426 expr = strip_expr(expr); in array_check_data_info()
779 src = strip_expr(src); in match_copy()
[all …]
H A Dcheck_index_overflow.c168 expr = strip_expr(expr); in is_subtract()
170 expr = strip_expr(tmp); in is_subtract()
215 expr = strip_expr(expr); in should_warn()
244 array_expr = strip_expr(array_expr); in should_warn()
279 expr = strip_expr(expr); in array_check()
306 array_expr = strip_expr(array_expr); in array_check()
H A Dcheck_signed_integer_overflow_check.c45 left = strip_expr(expr->left); in match_condition()
46 right = strip_expr(expr->right); in match_condition()
50 left = strip_expr(left); in match_condition()
H A Dcheck_zero_to_err_ptr.c41 next = strip_expr(__next_stmt->if_conditional); in next_line_is_if()
43 next = strip_expr(next->unop); in next_line_is_if()
63 next = strip_expr(__next_stmt->if_conditional); in next_line_checks_IS_ERR()
65 next = strip_expr(next->unop); in next_line_checks_IS_ERR()
H A Dsmatch_kernel_user_data.c158 expr = strip_expr(expr); in user_rl_capped()
184 expr = strip_expr(expr); in user_rl_treat_untagged()
236 expr = strip_expr(expr->unop); in tag_struct_members()
274 expr = strip_expr(expr); in tag_as_user_data()
305 dest = strip_expr(dest); in match_user_copy()
382 expr = strip_expr(expr); in is_skb_data()
412 expr = strip_expr(expr); in is_points_to_user_data_fn()
450 expr = strip_expr(expr); in points_to_user_data()
503 expr = strip_expr(expr); in comes_from_skb_data()
993 expr = strip_expr(expr); in is_ptr_subtract()
[all …]
H A Dcheck_kmalloc_wrong_size.c50 struct expression *call = strip_expr(expr->right); in match_alloc()
59 arg = strip_expr(arg); in match_alloc()
71 struct expression *call = strip_expr(expr->right); in match_calloc()
H A Dsmatch_capped.c74 expr = strip_expr(expr); in is_capped()
76 expr = strip_expr(expr->unop); in is_capped()
156 left = strip_expr(expr->left); in match_condition()
157 right = strip_expr(expr->right); in match_condition()
160 left = strip_expr(left->left); in match_condition()
260 expr = strip_expr(expr); in print_return_implies_capped()
H A Dsmatch_function_hooks.c402 right = strip_expr(right->right); in fake_a_param_assignment()
556 expr = strip_expr(expr->right); in impossible_limit()
623 expr = strip_expr(expr->right); in func_type_mismatch()
723 __add_return_comparison(strip_expr(db_info->expr), ret_str); in db_compare_callback()
885 expr = strip_expr(db_info->expr); in call_ranged_return_hooks()
887 expr = strip_expr(expr->right); in call_ranged_return_hooks()
986 right = strip_expr(expr->right); in db_return_states_assign()
1049 right = strip_expr(expr->right); in match_assign_call()
1240 fn = strip_expr(expr->fn); in match_function_call()
1256 right = strip_expr(expr->right); in match_macro_assign()
[all …]
H A Dcheck_uninitialized.c93 right = strip_expr(expr->right); in match_assign()
137 expr = strip_expr(expr); in is_initialized()
327 arg = strip_expr(arg); in match_untracked()
330 arg = strip_expr(arg->unop); in match_untracked()
340 arg = strip_expr(arg); in match_ignore_param()
345 arg = strip_expr(arg->unop); in match_ignore_param()
H A Dcheck_or_vs_and.c68 left = strip_expr(expr->left); in check_or()
69 right = strip_expr(expr->right); in check_or()
105 left = strip_expr(expr->left); in check_and()
106 right = strip_expr(expr->right); in check_and()
H A Dsmatch_extra.c370 expr = strip_expr(expr); in chunk_get_array_base()
426 expr = strip_expr(expr); in set_extra_expr_mod()
585 expr = strip_expr(expr); in set_extra_expr_true_false()
994 tmp = strip_expr(arg); in match_function_call()
1281 expr = strip_expr(expr); in clear_pointed_at_state()
1455 if (left != strip_expr(cond->left) || right != strip_expr(cond->right)) in handle_postop_inc()
2003 left = strip_expr(tmp); in match_comparison()
2199 expr = strip_expr(expr); in __extra_match_condition()
2235 expr = strip_expr(expr); in assume_indexes_are_valid()
2325 expr = strip_expr(expr); in parent_is_null()
[all …]
H A Dsmatch_address.c219 expr = strip_expr(expr->unop); in handle_fn_address()
250 expr = strip_expr(expr); in get_address_rl()
268 expr = strip_expr(expr->unop); in get_address_rl()
322 unop = strip_expr(expr->unop); in get_address_rl()
324 unop = strip_expr(unop->unop); in get_address_rl()
H A Dsmatch_type_val.c310 expr = strip_expr(expr->right); in is_ignored_function()
445 right = strip_expr(expr->right); in is_uncasted_fn_param_from_db()
526 right = strip_expr(expr->right); in match_assign_pointer()
529 right = strip_expr(right->unop); in match_assign_pointer()
566 expr = strip_expr(expr->unop); in unop_expr()
602 expr = strip_expr(expr->right); in db_param_add()
607 arg = strip_expr(arg); in db_param_add()
626 arg = strip_expr(arg->unop); in db_param_add()
H A Dsmatch_helper.c111 expr = strip_expr(expr); in alloc_state_expr()
472 expr = strip_expr(expr); in expr_to_var_sym()
501 expr = strip_expr(expr); in get_complication_score()
645 expr = strip_expr(expr); in is_array()
650 expr = strip_expr(expr->unop); in is_array()
671 expr = strip_expr(expr); in get_array_base()
673 expr = strip_expr(expr->unop); in get_array_base()
683 expr = strip_expr(expr); in get_array_offset()
882 expr = strip_expr(expr); in get_struct_and_member()
906 expr = strip_expr(expr); in get_member_name()
[all …]
H A Dcheck_missing_break.c56 expr = strip_expr(expr); in alloc_my_state()
88 left = strip_expr(expr->left); in match_assign()
103 expr = strip_expr(expr); in match_symbol()
H A Dcheck_sizeof.c32 expr = strip_expr(expr->cast_expression); in check_pointer()
44 struct expression *call = strip_expr(expr->right); in match_call_assignment()
86 obj = strip_expr(arg->cast_expression); in match_check_params()
H A Dsmatch_strings.c67 src = strip_expr(src); in match_strcpy()
78 expr = strip_expr(expr); in get_strings()
118 slist = get_strings(strip_expr(expr->right)); in match_assignment()
H A Dcheck_logical_instead_of_bitwise.c25 expr = strip_expr(expr); in is_bitshift()
59 right = strip_expr(expr->right); in match_assign()
H A Dsmatch_mtag_map.c39 left = strip_expr(expr->left); in match_assign()
40 right = strip_expr(expr->right); in match_assign()

12345