2 * Copyright (C) 2021 Oracle.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
19 #include "smatch_extra.h"
22 static struct expr_fn_list
*deref_hooks
;
24 void add_dereference_hook(expr_func
*fn
)
26 add_ptr_list(&deref_hooks
, fn
);
29 static void call_deref_hooks(struct expression
*expr
)
31 if (__in_fake_assign
|| __in_fake_parameter_assign
)
36 call_expr_fns(deref_hooks
, expr
);
39 static void match_dereference(struct expression
*expr
)
41 if (expr
->type
!= EXPR_PREOP
||
44 expr
= strip_expr(expr
->unop
);
45 if (!is_pointer(expr
))
47 call_deref_hooks(expr
);
50 static void match_pointer_as_array(struct expression
*expr
)
54 call_deref_hooks(get_array_base(expr
));
57 static void set_param_dereferenced(struct expression
*call
, struct expression
*arg
, char *key
, char *unused
)
59 struct expression
*deref
;
61 deref
= gen_expression_from_key(arg
, key
);
65 call_deref_hooks(deref
);
68 void register_dereferences(int id
)
72 add_hook(&match_dereference
, DEREF_HOOK
);
73 add_hook(&match_pointer_as_array
, OP_HOOK
);
74 select_return_implies_hook_early(DEREFERENCE
, &set_param_dereferenced
);