2 * sparse/check_deref_check.c
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_extra.h"
17 static void underef(struct sm_state
*sm
)
19 set_state(my_id
, sm
->name
, sm
->sym
, &undefined
);
22 static void match_dereference(struct expression
*expr
)
26 if (expr
->type
!= EXPR_PREOP
)
28 if (getting_address())
30 expr
= strip_expr(expr
->unop
);
31 if (implied_not_equal(expr
, 0))
34 set_state_expr(my_id
, expr
, &derefed
);
35 name
= get_variable_from_expr(expr
, NULL
);
41 static void set_param_dereferenced(struct expression
*arg
, char *unused
)
43 if (implied_not_equal(arg
, 0))
45 set_state_expr(my_id
, arg
, &derefed
);
48 static void match_condition(struct expression
*expr
)
52 if (__in_pre_condition
)
55 if (get_macro_name(expr
->pos
))
58 sm
= get_sm_state_expr(my_id
, expr
);
59 if (!sm
|| sm
->state
!= &derefed
)
62 sm_msg("warn: variable dereferenced before check '%s' (see line %d)", sm
->name
, sm
->line
);
63 set_state_expr(my_id
, expr
, &undefined
);
66 void check_deref_check(int id
)
69 add_hook(&match_dereference
, DEREF_HOOK
);
70 add_hook(&match_condition
, CONDITION_HOOK
);
71 add_db_fn_call_callback(DEREFERENCE
, &set_param_dereferenced
);
72 add_modification_hook(my_id
, &underef
);