2 * sparse/check_deref_check.c
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
17 static void underef(const char *name
, struct symbol
*sym
, struct expression
*expr
, void *unused
)
19 set_state(my_id
, name
, sym
, &oktocheck
);
22 static void match_dereference(struct expression
*expr
)
26 if (expr
->type
== EXPR_PREOP
) {
27 expr
= strip_expr(expr
->unop
);
29 if (strcmp(show_special(expr
->deref
->op
), "*"))
31 expr
= expr
->deref
->unop
;
32 expr
= strip_expr(expr
);
35 set_state_expr(my_id
, expr
, &derefed
);
37 name
= get_variable_from_expr(expr
, NULL
);
40 add_modification_hook(name
, &underef
, NULL
);
45 static void match_condition(struct expression
*expr
)
47 if (get_state_expr(my_id
, expr
) == &derefed
) {
50 name
= get_variable_from_expr(expr
, NULL
);
51 sm_msg("warn: variable derefenced before check '%s'",
53 set_state_expr(my_id
, expr
, &oktocheck
);
59 void check_deref_check(int id
)
62 set_default_state(my_id
, &oktocheck
);
63 add_hook(&match_dereference
, DEREF_HOOK
);
64 add_hook(&match_condition
, CONDITION_HOOK
);