12724 update smatch to 0.6.1-rc1-il-5

@@ -30,10 +30,11 @@
         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,10 +100,11 @@
 
 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,10 +151,12 @@
 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);