4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 #include "smatch_slist.h"
12 #include "smatch_extra.h"
17 static void match_all_values(const char *fn
, struct expression
*expr
, void *info
)
19 struct state_list
*slist
;
21 slist
= get_all_states(SMATCH_EXTRA
);
26 static void match_cur_slist(const char *fn
, struct expression
*expr
, void *info
)
31 static void match_state(const char *fn
, struct expression
*expr
, void *info
)
33 struct expression
*check_arg
, *state_arg
;
37 check_arg
= get_argument_from_call_expr(expr
->args
, 0);
38 if (check_arg
->type
!= EXPR_STRING
) {
39 sm_msg("error: the check_name argument to %s is supposed to be a string literal", fn
);
42 state_arg
= get_argument_from_call_expr(expr
->args
, 1);
43 if (state_arg
->type
!= EXPR_STRING
) {
44 sm_msg("error: the state_name argument to %s is supposed to be a string literal", fn
);
48 FOR_EACH_PTR(__get_cur_slist(), sm
) {
49 if (strcmp(check_name(sm
->owner
), check_arg
->string
->data
) != 0)
51 if (strcmp(sm
->name
, state_arg
->string
->data
) != 0)
53 sm_msg("'%s' = '%s'", sm
->name
, sm
->state
->name
);
55 } END_FOR_EACH_PTR(sm
);
58 sm_msg("%s '%s' not found", check_arg
->string
->data
, state_arg
->string
->data
);
61 static void match_print_value(const char *fn
, struct expression
*expr
, void *info
)
63 struct state_list
*slist
;
65 struct expression
*arg_expr
;
67 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
68 if (arg_expr
->type
!= EXPR_STRING
) {
69 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
73 slist
= get_all_states(SMATCH_EXTRA
);
74 FOR_EACH_PTR(slist
, tmp
) {
75 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
76 sm_msg("%s = %s", tmp
->name
, tmp
->state
->name
);
77 } END_FOR_EACH_PTR(tmp
);
81 static void match_print_implied(const char *fn
, struct expression
*expr
, void *info
)
83 struct expression
*arg
;
84 struct range_list
*rl
= NULL
;
87 arg
= get_argument_from_call_expr(expr
->args
, 0);
88 get_implied_rl(arg
, &rl
);
90 name
= expr_to_str(arg
);
91 sm_msg("implied: %s = '%s'", name
, show_rl(rl
));
95 static void match_print_implied_min(const char *fn
, struct expression
*expr
, void *info
)
97 struct expression
*arg
;
101 arg
= get_argument_from_call_expr(expr
->args
, 0);
102 name
= expr_to_str(arg
);
104 if (get_implied_min(arg
, &sval
))
105 sm_msg("implied min: %s = %s", name
, sval_to_str(sval
));
107 sm_msg("implied min: %s = <unknown>", name
);
112 static void match_print_implied_max(const char *fn
, struct expression
*expr
, void *info
)
114 struct expression
*arg
;
118 arg
= get_argument_from_call_expr(expr
->args
, 0);
119 name
= expr_to_str(arg
);
121 if (get_implied_max(arg
, &sval
))
122 sm_msg("implied max: %s = %s", name
, sval_to_str(sval
));
124 sm_msg("implied max: %s = <unknown>", name
);
129 static void match_print_hard_max(const char *fn
, struct expression
*expr
, void *info
)
131 struct expression
*arg
;
135 arg
= get_argument_from_call_expr(expr
->args
, 0);
136 name
= expr_to_str(arg
);
138 if (get_hard_max(arg
, &sval
))
139 sm_msg("hard max: %s = %s", name
, sval_to_str(sval
));
141 sm_msg("hard max: %s = <unknown>", name
);
146 static void match_print_fuzzy_max(const char *fn
, struct expression
*expr
, void *info
)
148 struct expression
*arg
;
152 arg
= get_argument_from_call_expr(expr
->args
, 0);
153 name
= expr_to_str(arg
);
155 if (get_fuzzy_max(arg
, &sval
))
156 sm_msg("fuzzy max: %s = %s", name
, sval_to_str(sval
));
158 sm_msg("fuzzy max: %s = <unknown>", name
);
163 static void match_print_absolute_min(const char *fn
, struct expression
*expr
, void *info
)
165 struct expression
*arg
;
169 arg
= get_argument_from_call_expr(expr
->args
, 0);
170 name
= expr_to_str(arg
);
172 if (get_absolute_min(arg
, &sval
))
173 sm_msg("absolute min: %s = %s", name
, sval_to_str(sval
));
175 sm_msg("absolute min: %s = <unknown>", name
);
180 static void match_print_absolute_max(const char *fn
, struct expression
*expr
, void *info
)
182 struct expression
*arg
;
186 arg
= get_argument_from_call_expr(expr
->args
, 0);
187 get_absolute_max(arg
, &sval
);
189 name
= expr_to_str(arg
);
190 sm_msg("absolute max: %s = %s", name
, sval_to_str(sval
));
194 static void match_sval_info(const char *fn
, struct expression
*expr
, void *info
)
196 struct expression
*arg
;
200 arg
= get_argument_from_call_expr(expr
->args
, 0);
201 name
= expr_to_str(arg
);
203 if (!get_implied_value(arg
, &sval
)) {
204 sm_msg("no sval for '%s'", name
);
208 sm_msg("implied: %s %c%d ->value = %llx", name
, sval_unsigned(sval
) ? 'u' : 's', sval_bits(sval
), sval
.value
);
213 static void print_possible(struct sm_state
*sm
)
215 struct sm_state
*tmp
;
217 sm_msg("Possible values for %s", sm
->name
);
218 FOR_EACH_PTR(sm
->possible
, tmp
) {
219 printf("%s\n", tmp
->state
->name
);
220 } END_FOR_EACH_PTR(tmp
);
224 static void match_possible(const char *fn
, struct expression
*expr
, void *info
)
226 struct state_list
*slist
;
227 struct sm_state
*tmp
;
228 struct expression
*arg_expr
;
230 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
231 if (arg_expr
->type
!= EXPR_STRING
) {
232 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
236 slist
= get_all_states(SMATCH_EXTRA
);
237 FOR_EACH_PTR(slist
, tmp
) {
238 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
240 } END_FOR_EACH_PTR(tmp
);
244 static void match_buf_size(const char *fn
, struct expression
*expr
, void *info
)
246 struct expression
*arg
;
250 arg
= get_argument_from_call_expr(expr
->args
, 0);
251 elements
= get_array_size(arg
);
252 bytes
= get_array_size_bytes(arg
);
254 name
= expr_to_str(arg
);
255 sm_msg("buf size: '%s' %d elements, %d bytes", name
, elements
, bytes
);
259 static void match_note(const char *fn
, struct expression
*expr
, void *info
)
261 struct expression
*arg_expr
;
263 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
264 if (arg_expr
->type
!= EXPR_STRING
) {
265 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
268 sm_msg("%s", arg_expr
->string
->data
);
271 static void print_related(struct sm_state
*sm
)
273 struct relation
*rel
;
275 if (!estate_related(sm
->state
))
279 sm_printf("%s: ", sm
->name
);
280 FOR_EACH_PTR(estate_related(sm
->state
), rel
) {
281 sm_printf("%s ", rel
->name
);
282 } END_FOR_EACH_PTR(rel
);
286 static void match_dump_related(const char *fn
, struct expression
*expr
, void *info
)
288 struct state_list
*slist
;
289 struct sm_state
*tmp
;
291 slist
= get_all_states(SMATCH_EXTRA
);
292 FOR_EACH_PTR(slist
, tmp
) {
294 } END_FOR_EACH_PTR(tmp
);
298 static void match_compare(const char *fn
, struct expression
*expr
, void *info
)
300 struct expression
*one
, *two
;
301 char *one_name
, *two_name
;
305 one
= get_argument_from_call_expr(expr
->args
, 0);
306 two
= get_argument_from_call_expr(expr
->args
, 1);
308 comparison
= get_comparison(one
, two
);
312 str
= show_special(comparison
);
314 one_name
= expr_to_var(one
);
315 two_name
= expr_to_var(two
);
317 sm_msg("%s %s %s", one_name
, str
, two_name
);
319 free_string(one_name
);
320 free_string(two_name
);
323 static void match_debug_on(const char *fn
, struct expression
*expr
, void *info
)
328 static void match_debug_off(const char *fn
, struct expression
*expr
, void *info
)
333 static void match_local_debug_on(const char *fn
, struct expression
*expr
, void *info
)
338 static void match_local_debug_off(const char *fn
, struct expression
*expr
, void *info
)
343 static void match_debug_implied_on(const char *fn
, struct expression
*expr
, void *info
)
345 option_debug_implied
= 1;
348 static void match_debug_implied_off(const char *fn
, struct expression
*expr
, void *info
)
350 option_debug_implied
= 0;
353 void check_debug(int id
)
356 add_function_hook("__smatch_all_values", &match_all_values
, NULL
);
357 add_function_hook("__smatch_state", &match_state
, NULL
);
358 add_function_hook("__smatch_value", &match_print_value
, NULL
);
359 add_function_hook("__smatch_implied", &match_print_implied
, NULL
);
360 add_function_hook("__smatch_implied_min", &match_print_implied_min
, NULL
);
361 add_function_hook("__smatch_implied_max", &match_print_implied_max
, NULL
);
362 add_function_hook("__smatch_hard_max", &match_print_hard_max
, NULL
);
363 add_function_hook("__smatch_fuzzy_max", &match_print_fuzzy_max
, NULL
);
364 add_function_hook("__smatch_absolute_min", &match_print_absolute_min
, NULL
);
365 add_function_hook("__smatch_absolute_max", &match_print_absolute_max
, NULL
);
366 add_function_hook("__smatch_sval_info", &match_sval_info
, NULL
);
367 add_function_hook("__smatch_possible", &match_possible
, NULL
);
368 add_function_hook("__smatch_cur_slist", &match_cur_slist
, NULL
);
369 add_function_hook("__smatch_buf_size", &match_buf_size
, NULL
);
370 add_function_hook("__smatch_note", &match_note
, NULL
);
371 add_function_hook("__smatch_dump_related", &match_dump_related
, NULL
);
372 add_function_hook("__smatch_compare", &match_compare
, NULL
);
373 add_function_hook("__smatch_debug_on", &match_debug_on
, NULL
);
374 add_function_hook("__smatch_debug_off", &match_debug_off
, NULL
);
375 add_function_hook("__smatch_local_debug_on", &match_local_debug_on
, NULL
);
376 add_function_hook("__smatch_local_debug_off", &match_local_debug_off
, NULL
);
377 add_function_hook("__smatch_debug_implied_on", &match_debug_implied_on
, NULL
);
378 add_function_hook("__smatch_debug_implied_off", &match_debug_implied_off
, NULL
);