| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ranges.c | 190 add_range(rl, min, max); in add_range_t()
202 add_range(rl, min, max); in add_range_t()
823 add_range(&rl, min, max); in alloc_rl()
877 add_range(&new_rl, min, max); in collapse_pointer_rl()
1077 add_range(&ret, max, tmp->max); in remove_range()
1080 add_range(&ret, tmp->min, min); in remove_range()
1491 add_range(&ret, min, max); in cast_to_bool()
1916 add_range(&rl, zero, zero); in handle_AND_rl()
1955 add_range(&ret, min, max); in handle_lshift()
1962 add_range(&ret, zero, zero); in handle_lshift()
[all …]
|
| H A D | check_atomic_inc_dec.c | 367 add_range(&inc_lines, line, line); in check_counter()
371 add_range(&dec_lines, line, line); in check_counter()
|
| H A D | smatch_math.c | 224 add_range(&ret, new_min, new_max); in handle_minus_preop()
228 add_range(&ret, sval_type_min(type), sval_type_min(type)); in handle_minus_preop()
244 add_range(&ret, new_min, new_max); in handle_minus_preop()
633 add_range(&res_rl, res, res); in handle_implied_binop()
|
| H A D | smatch_mtag.c | 158 add_range(&rl, tag_sval, tag_sval); in get_mtag_return()
|
| H A D | smatch_estate.c | 305 add_range(&ret->value_ranges, min, max); in alloc_dinfo_range()
|
| H A D | smatch_extra.h | 59 void add_range(struct range_list **list, sval_t min, sval_t max);
|
| H A D | check_locking.c | 1035 add_range(&locked_lines, line, line); in check_lock()
1039 add_range(&unlocked_lines, line, line); in check_lock()
|
| H A D | smatch_extra.c | 1215 add_range(&rl, rl_max(rl), sval_type_max(rl_type(rl))); in match_assign()
1221 add_range(&rl, rl_min(rl), zero); in match_assign()
2170 add_range(&false_rl, add, add); in handle_MOD_condition()
2250 add_range(&filter, size, sval_type_max(offset_type)); in assume_indexes_are_valid()
|
| H A D | smatch_flow.c | 792 add_range(&rl, start, end); in get_case_rl()
795 add_range(&rl, start, start); in get_case_rl()
|
| H A D | smatch_db.c | 1814 add_range(&null_rl, null_sval, null_sval); in call_return_state_hooks_split_null_non_null_zero()
1910 add_range(&zero_rl, zero_sval, zero_sval); in call_return_state_hooks_split_success_fail()
|
| /illumos-gate/usr/src/tools/smatch/src/smatch_data/db/ |
| H A D | fill_db_type_size.pl | 49 sub add_range($$$) subroutine
177 $union_array = add_range($union_array, $min, $max);
|
| H A D | fill_db_type_value.pl | 48 sub add_range($$$) subroutine
187 $union_array = add_range($union_array, $min, $max);
|
| H A D | smdb.py | 114 def add_range(rl, min_val, max_val): function
199 ret = add_range(ret, r[0], r[1])
201 ret = add_range(ret, r[0], r[1])
|
| /illumos-gate/usr/src/uts/common/fs/zfs/ |
| H A D | zfs_fm.c | 394 add_range(zfs_ecksum_info_t *eip, int start, int end) in add_range() function
502 add_range(eip, start, idx); in annotate_ecksum()
512 add_range(eip, start, idx); in annotate_ecksum()
|