Print this page
12724 update smatch to 0.6.1-rc1-il-5
*** 30,39 ****
--- 30,40 ----
struct range_list *value_ranges;
sval_t fuzzy_max;
unsigned int hard_max:1;
unsigned int capped:1;
unsigned int treat_untagged:1;
+ unsigned int set:1;
};
DECLARE_ALLOCATOR(data_info);
extern struct string_list *__ignored_macros;
*** 99,108 ****
--- 100,110 ----
struct range_list *rl_truncate_cast(struct symbol *type, struct range_list *rl);
struct range_list *cast_rl(struct symbol *type, struct range_list *rl);
int get_implied_rl(struct expression *expr, struct range_list **rl);
int get_absolute_rl(struct expression *expr, struct range_list **rl);
+ void set_real_absolute(struct expression *expr, struct smatch_state *state);
int get_real_absolute_rl(struct expression *expr, struct range_list **rl);
struct range_list *var_to_absolute_rl(struct expression *expr);
int custom_get_absolute_rl(struct expression *expr,
struct range_list *(*fn)(struct expression *expr),
struct range_list **rl);
*** 149,158 ****
--- 151,162 ----
int estate_get_hard_max(struct smatch_state *state, sval_t *sval);
bool estate_capped(struct smatch_state *state);
void estate_set_capped(struct smatch_state *state);
bool estate_treat_untagged(struct smatch_state *state);
void estate_set_treat_untagged(struct smatch_state *state);
+ bool estate_new(struct smatch_state *state);
+ void estate_set_new(struct smatch_state *state);
int estate_get_single_value(struct smatch_state *state, sval_t *sval);
struct smatch_state *get_implied_estate(struct expression *expr);
struct smatch_state *estate_filter_sval(struct smatch_state *orig, sval_t filter);