select_return_implies_hook
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(PARAM_FREED, &set_param_freed);
select_return_implies_hook(PARAM_FREED, &set_param_freed);
void select_return_implies_hook(int type, void (*callback)(struct expression *call, struct expression *arg, char *key, char *value));
select_return_implies_hook(FN_ARG_LINK, &check_passes_fn_and_data);
select_return_implies_hook(i, &set_implied);
select_return_implies_hook(DEREFERENCE, &set_param_dereferenced);
select_return_implies_hook(FN_ARG_LINK, &check_passes_fn_and_data);
select_return_implies_hook(PARAM_USED, &set_param_used);