Lines Matching refs:expr
104 bool is_fresh_alloc(struct expression *expr) in is_fresh_alloc() argument
109 if (!expr) in is_fresh_alloc()
112 if (get_implied_value_fast(expr, &sval) && sval.value == 0) in is_fresh_alloc()
115 if (get_state_expr(my_id, expr) == &fresh) in is_fresh_alloc()
118 if (expr->type != EXPR_CALL) in is_fresh_alloc()
120 if (fresh_from_db(expr)) in is_fresh_alloc()
124 if (sym_name_is(kernel_allocation_funcs[i].fn, expr->fn)) in is_fresh_alloc()
130 static void record_alloc_func(int return_id, char *return_ranges, struct expression *expr) in record_alloc_func() argument
132 if (!is_fresh_alloc(expr)) in record_alloc_func()
137 static void set_unfresh(struct expression *expr) in set_unfresh() argument
141 sm = get_sm_state_expr(my_id, expr); in set_unfresh()
147 set_state_expr(my_id, expr, &undefined); in set_unfresh()
150 static void match_assign(struct expression *expr) in match_assign() argument
152 set_unfresh(expr->right); in match_assign()
155 static void match_call(struct expression *expr) in match_call() argument
159 FOR_EACH_PTR(expr->args, arg) { in match_call()
165 static void set_fresh(struct expression *expr) in set_fresh() argument
169 expr = strip_expr(expr); in set_fresh()
170 if (expr->type != EXPR_SYMBOL) in set_fresh()
172 if (expr == handled) in set_fresh()
175 get_absolute_rl(expr, &rl); in set_fresh()
179 set_state_expr(my_id, expr, &fresh); in set_fresh()
180 handled = expr; in set_fresh()
183 static void returns_fresh_alloc(struct expression *expr, int param, char *key, char *value) in returns_fresh_alloc() argument
187 if (expr->type != EXPR_ASSIGNMENT) in returns_fresh_alloc()
190 set_fresh(expr->left); in returns_fresh_alloc()
193 static void match_alloc(const char *fn, struct expression *expr, void *_size_arg) in match_alloc() argument
195 set_fresh(expr->left); in match_alloc()