| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_sval.c | 35 sval_t *sval_alloc(sval_t sval) in sval_alloc()
108 int sval_is_ptr(sval_t sval) in sval_is_ptr()
115 bool sval_is_fp(sval_t sval) in sval_is_fp()
120 int sval_unsigned(sval_t sval) in sval_unsigned()
127 int sval_signed(sval_t sval) in sval_signed()
132 int sval_bits(sval_t sval) in sval_bits()
137 int sval_bits_used(sval_t sval) in sval_bits_used()
174 int sval_is_min(sval_t sval) in sval_is_min()
202 int sval_is_max(sval_t sval) in sval_is_max()
214 int sval_is_a_min(sval_t sval) in sval_is_a_min()
[all …]
|
| H A D | smatch_buf_size.c | 65 sval_t sval; in estate_to_size() local
75 sval_t sval; in size_to_estate() local
85 sval_t sval; in size_to_rl() local
272 sval_t sval; in db_returns_buf_size() local
287 sval_t sval; in get_real_array_size_from_type() local
354 sval_t sval; in remove_addr_fluff() local
400 sval_t sval; in last_member_is_resizable() local
476 sval_t sval; in get_array_size_bytes_rl() local
545 sval_t sval; in get_array_size_bytes() local
680 sval_t sval; in match_array_assignment() local
[all …]
|
| H A D | smatch_math.c | 96 sval_t sval; in handle_address() local
161 sval_t sval = {}; in handle_bitwise_negate() local
188 sval_t sval = {}; in handle_minus_preop() local
913 sval_t sval; in get_fuzzy_max_helper() local
930 sval_t sval; in get_fuzzy_min_helper() local
1203 sval_t sval; in handle__builtin_choose_expr() local
1268 sval_t sval = {}; in handle_cast() local
1397 sval_t sval = {}; in get_rl_sval() local
1496 sval_t sval = {}; in get_rl_internal() local
1531 sval_t sval; member
[all …]
|
| H A D | smatch_capped.c | 97 sval_t sval; in is_capped() local
150 sval_t sval; in match_condition() local
222 sval_t sval; in match_caller_info() local
239 sval_t sval; in struct_member_callback() local
257 sval_t sval; in print_return_implies_capped() local
|
| H A D | check_or_vs_and.c | 44 sval_t sval; in inconsistent_check() local
143 sval_t sval; in match_condition() local
168 sval_t left, right, sval; in match_binop() local
|
| H A D | check_impossible_mask.c | 66 sval_t sval; in get_possible_bits() local
82 sval_t sval; in match_condition() local
|
| H A D | smatch_mtag.c | 97 sval_t sval; in get_allocator_info() local
236 sval_t sval; in get_array_mtag_offset() local
267 sval_t sval; in swap_mtag_seed() local
314 sval_t sval; in get_implied_mtag_offset() local
404 int get_mtag_sval(struct expression *expr, sval_t *sval) in get_mtag_sval()
|
| H A D | smatch_parse_call_math.c | 170 sval_t sval; in read_var_num() local
247 int parse_call_math(struct expression *call, char *math, sval_t *sval) in parse_call_math()
347 static int is_mtag_sval(sval_t sval) in is_mtag_sval()
359 sval_t sval; in format_expr_helper() local
448 sval_t sval; in get_value_in_terms_of_parameter_math_var_sym() local
489 sval_t sval; in swap_format() local
|
| H A D | check_index_overflow.c | 30 sval_t sval; in definitely_just_used_as_limiter() local
47 static int fake_get_hard_max(struct expression *expr, sval_t *sval) in fake_get_hard_max()
69 static int get_the_max(struct expression *expr, sval_t *sval) in get_the_max()
|
| H A D | check_bit_shift.c | 118 sval_t sval; in match_binop_info() local
138 sval_t sval; in match_call() local
|
| H A D | check_capable.c | 29 sval_t sval; in match_capable() local
42 sval_t sval; in match_ns_capable() local
|
| H A D | check_debug.c | 122 sval_t sval; in match_print_known() local
166 sval_t sval; in match_print_implied_min() local
183 sval_t sval; in match_print_implied_max() local
232 sval_t sval; in match_print_hard_max() local
249 sval_t sval; in match_print_fuzzy_max() local
281 sval_t sval; in match_print_absolute_min() local
298 sval_t sval; in match_print_absolute_max() local
312 sval_t sval; in match_sval_info() local
394 sval_t sval; in match_buf_size() local
|
| H A D | check_arm64_tagged.c | 132 int rl_is_larger_or_equal(struct range_list *rl, sval_t sval) in rl_is_larger_or_equal()
143 int rl_range_has_min_value(struct range_list *rl, sval_t sval) in rl_range_has_min_value()
|
| H A D | check_return_cast.c | 29 sval_t sval; in match_return() local
|
| H A D | smatch_strlen.c | 38 sval_t sval; in size_to_estate() local
102 sval_t sval; in match_strlen_condition() local
225 sval_t sval; in get_strlen_from_string() local
|
| H A D | smatch_fresh_alloc.c | 72 sval_t sval; in pre_merge_hook() local
106 sval_t sval; in is_fresh_alloc() local
|
| H A D | check_wine.c | 31 sval_t sval; in match_fatal_report() local
|
| H A D | check_mod_timer.c | 26 sval_t sval; in match_mod_timer() local
|
| H A D | check_return_enomem.c | 33 sval_t sval; in match_return() local
|
| H A D | check_cmn_err.c | 35 sval_t sval; in match_cmn_err() local
|
| H A D | check_freeing_null.c | 26 sval_t sval; in match_free() local
|
| H A D | smatch_constraints_required.c | 134 sval_t sval; in handle_zero_size_arrays() local
166 sval_t sval; in match_alloc_helper() local
230 sval_t sval; in match_calloc() local
|
| H A D | smatch_bits.c | 60 sval_t sval; in rl_to_binfo() local
289 static int is_single_bit(sval_t sval) in is_single_bit()
425 sval_t sval; in struct_member_callback() local
|
| H A D | check_logical_instead_of_bitwise.c | 36 sval_t sval; in match_logic() local
|
| H A D | smatch_mtag_map.c | 34 sval_t sval; in match_assign() local
|