Symbol: array_element_offset
usr/src/tools/smatch/src/evaluate.c
2463
unsigned offset = array_element_offset(type->bit_size, e->idx_to);
usr/src/tools/smatch/src/evaluate.c
2530
if (array_element_offset(old->ctype->bit_size, n) == ctype->bit_size) {
usr/src/tools/smatch/src/symbol.c
238
bit_size = array_element_offset(base_type->bit_size,
usr/src/tools/smatch/src/symbol.c
374
unsigned int bit_size = array_element_offset(elem_type->bit_size, count);