Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c682 estate = alloc_estate_range(right, start); in handle_canonical_while_count_down()
689 estate = alloc_estate_range(right, start); in handle_canonical_while_count_down()
737 estate = alloc_estate_range(start, end); in handle_canonical_for_inc()
785 estate = alloc_estate_range(end, start); in handle_canonical_for_dec()
887 state = alloc_estate_range(estate_min(sm->state), limit); in __extra_pre_loop_hook_after()
889 state = alloc_estate_range(limit, estate_max(sm->state)); in __extra_pre_loop_hook_after()
1247 return alloc_estate_range(min, max); in increment_state()
1265 return alloc_estate_range(min, max); in decrement_state()
1409 new = alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval); in set_param_dereferenced()
1479 true_state = alloc_estate_range(add_one(start), limit); in handle_postop_inc()
[all …]
H A Dcheck_kernel.c167 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of_macro()
202 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of()
H A Dsmatch_estate.c401 struct smatch_state *alloc_estate_range(sval_t min, sval_t max) in alloc_estate_range() function
H A Dsmatch_extra.h123 struct smatch_state *alloc_estate_range(sval_t min, sval_t max);