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);