Lines Matching refs:expression
45 int str_to_comparison_arg(const char *c, struct expression *call, int *comparison, struct expressio…
47 void call_results_to_rl(struct expression *call, struct symbol *type, const char *value, struct ran…
67 int possibly_true(struct expression *left, int comparison, struct expression *right);
71 int possibly_false(struct expression *left, int comparison, struct expression *right);
103 int get_implied_rl(struct expression *expr, struct range_list **rl);
104 int get_absolute_rl(struct expression *expr, struct range_list **rl);
105 void set_real_absolute(struct expression *expr, struct smatch_state *state);
106 int get_real_absolute_rl(struct expression *expr, struct range_list **rl);
107 struct range_list *var_to_absolute_rl(struct expression *expr);
108 int custom_get_absolute_rl(struct expression *expr,
109 struct range_list *(*fn)(struct expression *expr),
160 struct smatch_state *get_implied_estate(struct expression *expr);
167 bool is_impossible_variable(struct expression *expr);
168 struct sm_state *get_extra_sm_state(struct expression *expr);
169 struct smatch_state *get_extra_state(struct expression *expr);
170 void call_extra_mod_hooks(const char *name, struct symbol *sym, struct expression *expr, struct sma…
171 void set_extra_mod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_sta…
172 void set_extra_expr_mod(struct expression *expr, struct smatch_state *state);
173 void set_extra_nomod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_s…
174 …const char *name, struct symbol *sym, struct var_sym_list *vsl, struct expression *expr, struct sm…
175 void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state);
176 void set_extra_mod_helper(const char *name, struct symbol *sym, struct expression *expr, struct sma…
180 void add_extra_mod_hook(void (*fn)(const char *name, struct symbol *sym, struct expression *expr, s…
181 void add_extra_nomod_hook(void (*fn)(const char *name, struct symbol *sym, struct expression *expr,…
182 int implied_not_equal(struct expression *expr, long long val);
185 int parent_is_null(struct expression *expr);
188 int parent_is_free(struct expression *expr);
194 struct expression *condition);
197 void set_equiv(struct expression *left, struct expression *right);
203 void remove_from_equiv_expr(struct expression *expr);
204 void set_equiv_state_expr(int id, struct expression *expr, struct smatch_state *state);
207 void function_comparison(struct expression *left, int comparison, struct expression *right);
210 struct expression *zero_expr();
211 struct expression *value_expr(long long val);
212 struct expression *member_expression(struct expression *deref, int op, struct ident *member);
213 struct expression *preop_expression(struct expression *expr, int op);
214 struct expression *deref_expression(struct expression *expr);
215 struct expression *assign_expression(struct expression *left, int op, struct expression *right);
216 struct expression *binop_expression(struct expression *left, int op, struct expression *right);
217 struct expression *array_element_expression(struct expression *array, struct expression *offset);
218 struct expression *symbol_expression(struct symbol *sym);
219 struct expression *string_expression(char *str);
220 struct expression *compare_expression(struct expression *left, int op, struct expression *right);
221 struct expression *call_expression(struct expression *fn, struct expression_list *args);
222 struct expression *unknown_value_expression(struct expression *expr);
223 int is_fake_call(struct expression *expr);
224 struct expression *gen_expression_from_name_sym(const char *name, struct symbol *sym);
225 struct expression *gen_expression_from_key(struct expression *arg, const char *key);
227 void expr_set_parent_expr(struct expression *expr, struct expression *parent);
228 void expr_set_parent_stmt(struct expression *expr, struct statement *parent);
229 struct expression *expr_get_parent_expr(struct expression *expr);
230 struct statement *expr_get_parent_stmt(struct expression *expr);
236 struct smatch_state *get_real_absolute_state(struct expression *expr);
240 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list …
241 int get_imaginary_absolute(struct expression *expr, struct range_list **rl);