Lines Matching refs:sval
134 sval_t sval; in handle_zero_size_arrays() local
139 if (get_implied_value(mult_left, &sval) && in handle_zero_size_arrays()
140 sval.value == type_bytes(array_type)) in handle_zero_size_arrays()
142 else if (get_implied_value(mult_right, &sval) && in handle_zero_size_arrays()
143 sval.value == type_bytes(array_type)) in handle_zero_size_arrays()
166 sval_t sval; in match_alloc_helper() local
196 if (get_implied_value(mult_left, &sval) && in match_alloc_helper()
197 sval.value == bytes_per_element(pointer)) in match_alloc_helper()
199 else if (get_implied_value(mult_right, &sval) && in match_alloc_helper()
200 sval.value == bytes_per_element(pointer)) in match_alloc_helper()
207 get_implied_value(size->right, &sval) && in match_alloc_helper()
208 sval.value == 1) in match_alloc_helper()
230 sval_t sval; in match_calloc() local
236 if (get_implied_value(size, &sval) && in match_calloc()
237 sval.value == bytes_per_element(pointer)) in match_calloc()
241 if (get_implied_value(size, &sval) && in match_calloc()
242 sval.value == bytes_per_element(pointer)) in match_calloc()