Lines Matching defs:state
65 struct data_info *get_dinfo(struct smatch_state *state) in get_dinfo()
72 struct range_list *estate_rl(struct smatch_state *state) in estate_rl()
79 struct related_list *estate_related(struct smatch_state *state) in estate_related()
86 sval_t estate_get_fuzzy_max(struct smatch_state *state) in estate_get_fuzzy_max()
95 int estate_has_fuzzy_max(struct smatch_state *state) in estate_has_fuzzy_max()
102 void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max) in estate_set_fuzzy_max()
116 void estate_clear_fuzzy_max(struct smatch_state *state) in estate_clear_fuzzy_max()
123 int estate_has_hard_max(struct smatch_state *state) in estate_has_hard_max()
130 void estate_set_hard_max(struct smatch_state *state) in estate_set_hard_max()
138 void estate_clear_hard_max(struct smatch_state *state) in estate_clear_hard_max()
143 int estate_get_hard_max(struct smatch_state *state, sval_t *sval) in estate_get_hard_max()
151 bool estate_capped(struct smatch_state *state) in estate_capped()
161 void estate_set_capped(struct smatch_state *state) in estate_set_capped()
166 bool estate_treat_untagged(struct smatch_state *state) in estate_treat_untagged()
178 void estate_set_treat_untagged(struct smatch_state *state) in estate_set_treat_untagged()
183 bool estate_new(struct smatch_state *state) in estate_new()
190 void estate_set_new(struct smatch_state *state) in estate_set_new()
195 sval_t estate_min(struct smatch_state *state) in estate_min()
200 sval_t estate_max(struct smatch_state *state) in estate_max()
205 struct symbol *estate_type(struct smatch_state *state) in estate_type()
256 int estate_is_whole(struct smatch_state *state) in estate_is_whole()
261 int estate_is_empty(struct smatch_state *state) in estate_is_empty()
266 int estate_is_unknown(struct smatch_state *state) in estate_is_unknown()
277 int estate_get_single_value(struct smatch_state *state, sval_t *sval) in estate_get_single_value()
330 struct smatch_state *clone_estate(struct smatch_state *state) in clone_estate()
343 struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl) in clone_partial_estate()
364 struct smatch_state *state; in alloc_estate_empty() local
391 struct smatch_state *state; in alloc_estate_sval() local
403 struct smatch_state *state; in alloc_estate_range() local
413 struct smatch_state *state; in alloc_estate_rl() local
424 struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state) in clone_estate_cast()
444 struct smatch_state *state; in get_implied_estate() local
472 struct smatch_state *clone_estate_perm(struct smatch_state *state) in clone_estate_perm()