Home
last modified time | relevance | path

Searched refs:get_absolute_rl (Results 1 – 23 of 23) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c227 get_absolute_rl(offset, &abs_rl); in should_warn()
301 get_absolute_rl(offset, &abs_rl); in array_check()
H A Dsmatch_address.c298 get_absolute_rl(array, &array_rl); in get_address_rl()
299 get_absolute_rl(offset_expr, &offset_rl); in get_address_rl()
H A Dsmatch_capped.c113 get_absolute_rl(expr->left, &left_rl); in is_capped()
114 get_absolute_rl(expr->right, &right_rl); in is_capped()
H A Dcheck_testing_index_after_use.c55 get_absolute_rl(offset, &rl); in array_check()
H A Dsmatch_type_val.c500 get_absolute_rl(expr->right, &rl); in match_assign_value()
507 get_absolute_rl(expr->left, &rl); in match_assign_value()
552 get_absolute_rl(expr->right, &rl); in match_global_assign()
H A Dsmatch_fresh_alloc.c175 get_absolute_rl(expr, &rl); in set_fresh()
H A Dsmatch_param_to_mtag_data.c151 get_absolute_rl(gen_expr, &rl); in assign_to_alias()
H A Dcheck_debug.c272 get_absolute_rl(arg, &rl); in match_print_absolute()
570 get_absolute_rl(one, &one_rl); in match_intersection()
571 get_absolute_rl(two, &two_rl); in match_intersection()
H A Dsmatch_array_values.c182 get_absolute_rl(expr->right, &rl); in match_assign()
H A Dsmatch_function_hooks.c540 get_absolute_rl(arg, &orig); in handle_ret_equals_param()
761 get_absolute_rl(var_expr, &rl); in compare_db_return_states_callbacks()
868 get_absolute_rl(var_expr, &rl); in function_comparison()
1091 get_absolute_rl(expr->right, &rl); in match_assign_call()
H A Dsmatch_mtag_data.c215 get_absolute_rl(expr->right, &rl); in match_global_assign()
H A Dcheck_err_ptr_deref.c57 get_absolute_rl(expr, &rl); in check_is_err_ptr()
H A Dsmatch_extra.c1010 get_absolute_rl(right, &rl); in values_fit_type()
1060 get_absolute_rl(right, &rl); in do_array_assign()
1211 get_absolute_rl(binop_expr, &rl); in match_assign()
2060 get_absolute_rl(var, &orig_rl); in handle_bit_test()
2088 get_absolute_rl(var, &orig_rl); in handle_AND_op()
2143 get_absolute_rl(expr->left, &orig_rl); in handle_MOD_condition()
2255 get_absolute_rl(offset, &rl_before); in assume_indexes_are_valid()
2781 get_absolute_rl(arg, &rl); in match_call_info()
H A Dsmatch_param_set.c124 get_absolute_rl(expr->right, &rl); in match_array_assignment()
H A Dsmatch_extra.h104 int get_absolute_rl(struct expression *expr, struct range_list **rl);
H A Dcheck_kernel.c367 get_absolute_rl(data, &rl); in match__write_once_size()
H A Dsmatch_parse_call_math.c135 get_absolute_rl(arg, rl); in read_rl_from_var()
H A Dsmatch_math.c736 get_absolute_rl(expr->left, &left_ranges); in do_comparison()
737 get_absolute_rl(expr->right, &right_ranges); in do_comparison()
1687 int get_absolute_rl(struct expression *expr, struct range_list **rl) in get_absolute_rl() function
H A Dsmatch_kernel_user_data.c916 get_absolute_rl(expr->left, &left); in var_user_rl()
938 get_absolute_rl(expr->right, &abs_right); in var_user_rl()
H A Dsmatch_buf_size.c729 get_absolute_rl(arg, &rl); in match_alloc()
H A Dsmatch_states.c1140 get_absolute_rl(switch_expr, &rl); in __save_switch_states()
H A Dsmatch_comparison.c806 get_absolute_rl(expr->right, &rl); in match_add_sub_assign()
H A Dsmatch_db.c1448 get_absolute_rl(expr, &rl); in get_return_ranges_str()