2 * smatch/smatch_dinfo.c
4 * Copyright (C) 2010 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 * smatch_dinfo.c has helper functions for handling data_info structs
22 #include "smatch_slist.h"
23 #include "smatch_extra.h"
25 struct data_info
*get_dinfo(struct smatch_state
*state
)
29 return (struct data_info
*)state
->data
;
32 struct range_list
*estate_ranges(struct smatch_state
*state
)
36 return get_dinfo(state
)->value_ranges
;
39 struct related_list
*estate_related(struct smatch_state
*state
)
43 return get_dinfo(state
)->related
;
46 int estate_has_hard_max(struct smatch_state
*state
)
50 return get_dinfo(state
)->hard_max
;
53 void estate_set_hard_max(struct smatch_state
*state
)
55 get_dinfo(state
)->hard_max
= 1;
58 void estate_clear_hard_max(struct smatch_state
*state
)
60 get_dinfo(state
)->hard_max
= 0;
63 int estate_get_hard_max(struct smatch_state
*state
, sval_t
*sval
)
65 if (!state
|| !get_dinfo(state
)->hard_max
|| !estate_ranges(state
))
67 *sval
= rl_max(estate_ranges(state
));
71 sval_t
estate_min(struct smatch_state
*state
)
73 return rl_min(estate_ranges(state
));
76 sval_t
estate_max(struct smatch_state
*state
)
78 return rl_max(estate_ranges(state
));
81 struct symbol
*estate_type(struct smatch_state
*state
)
83 return rl_max(estate_ranges(state
)).type
;
86 static int rlists_equiv(struct related_list
*one
, struct related_list
*two
)
88 struct relation
*one_rel
;
89 struct relation
*two_rel
;
91 PREPARE_PTR_LIST(one
, one_rel
);
92 PREPARE_PTR_LIST(two
, two_rel
);
94 if (!one_rel
&& !two_rel
)
96 if (!one_rel
|| !two_rel
)
98 if (one_rel
->sym
!= two_rel
->sym
)
100 if (strcmp(one_rel
->name
, two_rel
->name
))
102 NEXT_PTR_LIST(one_rel
);
103 NEXT_PTR_LIST(two_rel
);
105 FINISH_PTR_LIST(two_rel
);
106 FINISH_PTR_LIST(one_rel
);
111 int estates_equiv(struct smatch_state
*one
, struct smatch_state
*two
)
115 if (!rlists_equiv(estate_related(one
), estate_related(two
)))
117 if (strcmp(one
->name
, two
->name
) == 0)
122 int estate_get_single_value(struct smatch_state
*state
, sval_t
*sval
)
126 min
= rl_min(estate_ranges(state
));
127 max
= rl_max(estate_ranges(state
));
128 if (sval_cmp(min
, max
) != 0)
134 static struct data_info
*alloc_dinfo(void)
136 struct data_info
*ret
;
138 ret
= __alloc_data_info(0);
140 ret
->type
= DATA_RANGE
;
141 ret
->value_ranges
= NULL
;
146 static struct data_info
*alloc_dinfo_range(sval_t min
, sval_t max
)
148 struct data_info
*ret
;
151 add_range(&ret
->value_ranges
, min
, max
);
155 static struct data_info
*alloc_dinfo_range_list(struct range_list
*rl
)
157 struct data_info
*ret
;
160 ret
->value_ranges
= rl
;
164 static struct data_info
*clone_dinfo(struct data_info
*dinfo
)
166 struct data_info
*ret
;
169 ret
->related
= clone_related_list(dinfo
->related
);
170 ret
->value_ranges
= clone_range_list(dinfo
->value_ranges
);
171 ret
->hard_max
= dinfo
->hard_max
;
175 struct smatch_state
*clone_estate(struct smatch_state
*state
)
177 struct smatch_state
*ret
;
179 ret
= __alloc_smatch_state(0);
180 ret
->name
= state
->name
;
181 ret
->data
= clone_dinfo(get_dinfo(state
));
185 struct smatch_state
*alloc_estate_empty(void)
187 struct smatch_state
*state
;
188 struct data_info
*dinfo
;
190 dinfo
= alloc_dinfo();
191 state
= __alloc_smatch_state(0);
197 struct smatch_state
*extra_undefined(struct symbol
*type
)
199 return alloc_estate_range_list(whole_range_list(type
));
202 struct smatch_state
*extra_empty(void)
204 struct smatch_state
*ret
;
206 ret
= __alloc_smatch_state(0);
208 ret
->data
= alloc_dinfo();
212 struct smatch_state
*alloc_estate(sval_t sval
)
214 struct smatch_state
*state
;
216 state
= __alloc_smatch_state(0);
217 state
->data
= alloc_dinfo_range(sval
, sval
);
218 state
->name
= show_ranges(get_dinfo(state
)->value_ranges
);
219 estate_set_hard_max(state
);
223 struct smatch_state
*alloc_estate_range(sval_t min
, sval_t max
)
225 struct smatch_state
*state
;
227 state
= __alloc_smatch_state(0);
228 state
->data
= alloc_dinfo_range(min
, max
);
229 state
->name
= show_ranges(get_dinfo(state
)->value_ranges
);
233 struct smatch_state
*alloc_estate_range_list(struct range_list
*rl
)
235 struct smatch_state
*state
;
238 return extra_empty();
240 state
= __alloc_smatch_state(0);
241 state
->data
= alloc_dinfo_range_list(rl
);
242 state
->name
= show_ranges(rl
);