2 * sparse/smatch_extra.c
4 * Copyright (C) 2008 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
16 static struct smatch_state
*alloc_state(int val
)
18 struct smatch_state
*state
;
20 state
= malloc(sizeof(*state
));
21 state
->name
= "value";
22 state
->data
= malloc(sizeof(int));
23 *(int *)state
->data
= val
;
27 static struct smatch_state
*merge_func(const char *name
, struct symbol
*sym
,
28 struct smatch_state
*s1
,
29 struct smatch_state
*s2
)
34 static void match_function_call_after(struct expression
*expr
)
36 struct expression
*tmp
;
41 FOR_EACH_PTR(expr
->args
, tmp
) {
43 name
= get_variable_from_expr(tmp
->unop
, &sym
);
45 set_state(name
, my_id
, sym
, &undefined
);
49 } END_FOR_EACH_PTR(tmp
);
52 static void match_assign(struct expression
*expr
)
54 struct expression
*left
;
58 left
= strip_expr(expr
->left
);
59 name
= get_variable_from_expr(left
, &sym
);
62 set_state(name
, my_id
, sym
, alloc_state(get_value(expr
->right
)));
65 static void undef_expr(struct expression
*expr
)
70 name
= get_variable_from_expr(expr
->unop
, &sym
);
73 if (!get_state(name
, my_id
, sym
)) {
77 set_state(name
, my_id
, sym
, &undefined
);
80 static void match_declarations(struct symbol
*sym
)
85 name
= sym
->ident
->name
;
86 if (sym
->initializer
) {
87 set_state(name
, my_id
, sym
, alloc_state(get_value(sym
->initializer
)));
92 void register_smatch_extra(int id
)
95 add_merge_hook(my_id
, &merge_func
);
96 add_hook(&undef_expr
, OP_HOOK
);
97 add_hook(&match_function_call_after
, FUNCTION_CALL_AFTER_HOOK
);
98 add_hook(&match_assign
, ASSIGNMENT_AFTER_HOOK
);
99 add_hook(&match_declarations
, DECLARATION_HOOK
);
100 add_hook(&__implied_states_hook
, WHOLE_CONDITION_HOOK
);
103 static int expr_to_val(struct expression
*expr
)
105 struct smatch_state
*state
;
110 val
= get_value(expr
);
111 if (val
!= UNDEFINED
)
114 name
= get_variable_from_expr(expr
, &sym
);
117 state
= get_state(name
, my_id
, sym
);
119 if (!state
|| !state
->data
)
121 return *(int *)state
->data
;
124 static int true_comparison(int left
, int comparison
, int right
)
128 case SPECIAL_UNSIGNED_LT
:
132 case SPECIAL_UNSIGNED_LTE
:
140 case SPECIAL_UNSIGNED_GTE
:
145 case SPECIAL_UNSIGNED_GT
:
149 case SPECIAL_NOTEQUAL
:
154 smatch_msg("unhandled comparison %d\n", comparison
);
159 int known_condition_true(struct expression
*expr
)
161 int left
, right
, ret
;
163 if (!expr
|| expr
->type
!= EXPR_COMPARE
)
166 if ((left
= expr_to_val(expr
->left
)) == UNDEFINED
)
169 if ((right
= expr_to_val(expr
->right
)) == UNDEFINED
)
172 ret
= true_comparison(left
, expr
->op
, right
);
174 SM_DEBUG("%d known condition: %d %s %d => true", get_lineno(),
175 left
, show_special(expr
->op
), right
);
177 smatch_msg("known condition: %d %s %d => false", left
,
178 show_special(expr
->op
), right
);