Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c2229 struct symbol *offset_type; in assume_indexes_are_valid() local
2240 offset_type = get_type(offset); in assume_indexes_are_valid()
2241 if (offset_type && type_signed(offset_type)) { in assume_indexes_are_valid()
2242 filter = alloc_rl(sval_type_min(offset_type), in assume_indexes_are_valid()
2243 sval_type_val(offset_type, -1)); in assume_indexes_are_valid()
2249 size = sval_type_val(offset_type, array_size); in assume_indexes_are_valid()
2250 add_range(&filter, size, sval_type_max(offset_type)); in assume_indexes_are_valid()