Print this page
11972 resync smatch
*** 29,38 ****
--- 29,39 ----
struct related_list *related;
struct range_list *value_ranges;
sval_t fuzzy_max;
unsigned int hard_max:1;
unsigned int capped:1;
+ unsigned int treat_untagged:1;
};
DECLARE_ALLOCATOR(data_info);
extern struct string_list *__ignored_macros;
*** 71,80 ****
--- 72,83 ----
int possibly_false_rl_LR(int comparison, struct range_list *a, struct range_list *b, int left);
int rl_has_sval(struct range_list *rl, sval_t sval);
int ranges_equiv(struct data_range *one, struct data_range *two);
+ bool is_err_ptr(sval_t sval);
+
int rl_equiv(struct range_list *one, struct range_list *two);
int is_whole_rl(struct range_list *rl);
int is_unknown_ptr(struct range_list *rl);
int is_whole_rl_non_zero(struct range_list *rl);
int estate_is_unknown(struct smatch_state *state);
*** 144,153 ****
--- 147,158 ----
void estate_set_hard_max(struct smatch_state *state);
void estate_clear_hard_max(struct smatch_state *state);
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);
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);
*** 209,218 ****
--- 214,224 ----
struct expression *symbol_expression(struct symbol *sym);
struct expression *string_expression(char *str);
struct expression *compare_expression(struct expression *left, int op, struct expression *right);
struct expression *unknown_value_expression(struct expression *expr);
int is_fake_call(struct expression *expr);
+ struct expression *gen_expression_from_name_sym(const char *name, struct symbol *sym);
struct expression *gen_expression_from_key(struct expression *arg, const char *key);
void free_tmp_expressions(void);
void expr_set_parent_expr(struct expression *expr, struct expression *parent);
void expr_set_parent_stmt(struct expression *expr, struct statement *parent);
struct expression *expr_get_parent_expr(struct expression *expr);