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_states(const char *fn
, struct expression
*expr
, void *info
)
63 struct expression
*check_arg
;
67 check_arg
= get_argument_from_call_expr(expr
->args
, 0);
68 if (check_arg
->type
!= EXPR_STRING
) {
69 sm_msg("error: the check_name argument to %s is supposed to be a string literal", fn
);
73 FOR_EACH_PTR(__get_cur_slist(), sm
) {
74 if (strcmp(check_name(sm
->owner
), check_arg
->string
->data
) != 0)
76 sm_msg("'%s' = '%s'", sm
->name
, sm
->state
->name
);
78 } END_FOR_EACH_PTR(sm
);
81 sm_msg("%s: no states", check_arg
->string
->data
);
84 static void match_print_value(const char *fn
, struct expression
*expr
, void *info
)
86 struct state_list
*slist
;
88 struct expression
*arg_expr
;
90 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
91 if (arg_expr
->type
!= EXPR_STRING
) {
92 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
96 slist
= get_all_states(SMATCH_EXTRA
);
97 FOR_EACH_PTR(slist
, tmp
) {
98 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
99 sm_msg("%s = %s", tmp
->name
, tmp
->state
->name
);
100 } END_FOR_EACH_PTR(tmp
);
104 static void match_print_implied(const char *fn
, struct expression
*expr
, void *info
)
106 struct expression
*arg
;
107 struct range_list
*rl
= NULL
;
110 arg
= get_argument_from_call_expr(expr
->args
, 0);
111 get_implied_rl(arg
, &rl
);
113 name
= expr_to_str(arg
);
114 sm_msg("implied: %s = '%s'", name
, show_rl(rl
));
118 static void match_print_implied_min(const char *fn
, struct expression
*expr
, void *info
)
120 struct expression
*arg
;
124 arg
= get_argument_from_call_expr(expr
->args
, 0);
125 name
= expr_to_str(arg
);
127 if (get_implied_min(arg
, &sval
))
128 sm_msg("implied min: %s = %s", name
, sval_to_str(sval
));
130 sm_msg("implied min: %s = <unknown>", name
);
135 static void match_print_implied_max(const char *fn
, struct expression
*expr
, void *info
)
137 struct expression
*arg
;
141 arg
= get_argument_from_call_expr(expr
->args
, 0);
142 name
= expr_to_str(arg
);
144 if (get_implied_max(arg
, &sval
))
145 sm_msg("implied max: %s = %s", name
, sval_to_str(sval
));
147 sm_msg("implied max: %s = <unknown>", name
);
152 static void match_print_hard_max(const char *fn
, struct expression
*expr
, void *info
)
154 struct expression
*arg
;
158 arg
= get_argument_from_call_expr(expr
->args
, 0);
159 name
= expr_to_str(arg
);
161 if (get_hard_max(arg
, &sval
))
162 sm_msg("hard max: %s = %s", name
, sval_to_str(sval
));
164 sm_msg("hard max: %s = <unknown>", name
);
169 static void match_print_fuzzy_max(const char *fn
, struct expression
*expr
, void *info
)
171 struct expression
*arg
;
175 arg
= get_argument_from_call_expr(expr
->args
, 0);
176 name
= expr_to_str(arg
);
178 if (get_fuzzy_max(arg
, &sval
))
179 sm_msg("fuzzy max: %s = %s", name
, sval_to_str(sval
));
181 sm_msg("fuzzy max: %s = <unknown>", name
);
186 static void match_print_absolute_min(const char *fn
, struct expression
*expr
, void *info
)
188 struct expression
*arg
;
192 arg
= get_argument_from_call_expr(expr
->args
, 0);
193 name
= expr_to_str(arg
);
195 if (get_absolute_min(arg
, &sval
))
196 sm_msg("absolute min: %s = %s", name
, sval_to_str(sval
));
198 sm_msg("absolute min: %s = <unknown>", name
);
203 static void match_print_absolute_max(const char *fn
, struct expression
*expr
, void *info
)
205 struct expression
*arg
;
209 arg
= get_argument_from_call_expr(expr
->args
, 0);
210 get_absolute_max(arg
, &sval
);
212 name
= expr_to_str(arg
);
213 sm_msg("absolute max: %s = %s", name
, sval_to_str(sval
));
217 static void match_sval_info(const char *fn
, struct expression
*expr
, void *info
)
219 struct expression
*arg
;
223 arg
= get_argument_from_call_expr(expr
->args
, 0);
224 name
= expr_to_str(arg
);
226 if (!get_implied_value(arg
, &sval
)) {
227 sm_msg("no sval for '%s'", name
);
231 sm_msg("implied: %s %c%d ->value = %llx", name
, sval_unsigned(sval
) ? 'u' : 's', sval_bits(sval
), sval
.value
);
236 static void print_possible(struct sm_state
*sm
)
238 struct sm_state
*tmp
;
240 sm_msg("Possible values for %s", sm
->name
);
241 FOR_EACH_PTR(sm
->possible
, tmp
) {
242 printf("%s\n", tmp
->state
->name
);
243 } END_FOR_EACH_PTR(tmp
);
247 static void match_possible(const char *fn
, struct expression
*expr
, void *info
)
249 struct state_list
*slist
;
250 struct sm_state
*tmp
;
251 struct expression
*arg_expr
;
253 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
254 if (arg_expr
->type
!= EXPR_STRING
) {
255 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
259 slist
= get_all_states(SMATCH_EXTRA
);
260 FOR_EACH_PTR(slist
, tmp
) {
261 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
263 } END_FOR_EACH_PTR(tmp
);
267 static void match_buf_size(const char *fn
, struct expression
*expr
, void *info
)
269 struct expression
*arg
;
273 arg
= get_argument_from_call_expr(expr
->args
, 0);
274 elements
= get_array_size(arg
);
275 bytes
= get_array_size_bytes(arg
);
277 name
= expr_to_str(arg
);
278 sm_msg("buf size: '%s' %d elements, %d bytes", name
, elements
, bytes
);
282 static void match_note(const char *fn
, struct expression
*expr
, void *info
)
284 struct expression
*arg_expr
;
286 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
287 if (arg_expr
->type
!= EXPR_STRING
) {
288 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
291 sm_msg("%s", arg_expr
->string
->data
);
294 static void print_related(struct sm_state
*sm
)
296 struct relation
*rel
;
298 if (!estate_related(sm
->state
))
302 sm_printf("%s: ", sm
->name
);
303 FOR_EACH_PTR(estate_related(sm
->state
), rel
) {
304 sm_printf("%s ", rel
->name
);
305 } END_FOR_EACH_PTR(rel
);
309 static void match_dump_related(const char *fn
, struct expression
*expr
, void *info
)
311 struct state_list
*slist
;
312 struct sm_state
*tmp
;
314 slist
= get_all_states(SMATCH_EXTRA
);
315 FOR_EACH_PTR(slist
, tmp
) {
317 } END_FOR_EACH_PTR(tmp
);
321 static void match_compare(const char *fn
, struct expression
*expr
, void *info
)
323 struct expression
*one
, *two
;
324 char *one_name
, *two_name
;
328 one
= get_argument_from_call_expr(expr
->args
, 0);
329 two
= get_argument_from_call_expr(expr
->args
, 1);
331 comparison
= get_comparison(one
, two
);
333 snprintf(buf
, sizeof(buf
), "<none>");
335 snprintf(buf
, sizeof(buf
), "%s", show_special(comparison
));
337 one_name
= expr_to_str(one
);
338 two_name
= expr_to_str(two
);
340 sm_msg("%s %s %s", one_name
, buf
, two_name
);
342 free_string(one_name
);
343 free_string(two_name
);
346 static void match_debug_on(const char *fn
, struct expression
*expr
, void *info
)
351 static void match_debug_off(const char *fn
, struct expression
*expr
, void *info
)
356 static void match_local_debug_on(const char *fn
, struct expression
*expr
, void *info
)
361 static void match_local_debug_off(const char *fn
, struct expression
*expr
, void *info
)
366 static void match_debug_implied_on(const char *fn
, struct expression
*expr
, void *info
)
368 option_debug_implied
= 1;
371 static void match_debug_implied_off(const char *fn
, struct expression
*expr
, void *info
)
373 option_debug_implied
= 0;
376 void check_debug(int id
)
379 add_function_hook("__smatch_all_values", &match_all_values
, NULL
);
380 add_function_hook("__smatch_state", &match_state
, NULL
);
381 add_function_hook("__smatch_states", &match_states
, NULL
);
382 add_function_hook("__smatch_value", &match_print_value
, NULL
);
383 add_function_hook("__smatch_implied", &match_print_implied
, NULL
);
384 add_function_hook("__smatch_implied_min", &match_print_implied_min
, NULL
);
385 add_function_hook("__smatch_implied_max", &match_print_implied_max
, NULL
);
386 add_function_hook("__smatch_hard_max", &match_print_hard_max
, NULL
);
387 add_function_hook("__smatch_fuzzy_max", &match_print_fuzzy_max
, NULL
);
388 add_function_hook("__smatch_absolute_min", &match_print_absolute_min
, NULL
);
389 add_function_hook("__smatch_absolute_max", &match_print_absolute_max
, NULL
);
390 add_function_hook("__smatch_sval_info", &match_sval_info
, NULL
);
391 add_function_hook("__smatch_possible", &match_possible
, NULL
);
392 add_function_hook("__smatch_cur_slist", &match_cur_slist
, NULL
);
393 add_function_hook("__smatch_buf_size", &match_buf_size
, NULL
);
394 add_function_hook("__smatch_note", &match_note
, NULL
);
395 add_function_hook("__smatch_dump_related", &match_dump_related
, NULL
);
396 add_function_hook("__smatch_compare", &match_compare
, NULL
);
397 add_function_hook("__smatch_debug_on", &match_debug_on
, NULL
);
398 add_function_hook("__smatch_debug_off", &match_debug_off
, NULL
);
399 add_function_hook("__smatch_local_debug_on", &match_local_debug_on
, NULL
);
400 add_function_hook("__smatch_local_debug_off", &match_local_debug_off
, NULL
);
401 add_function_hook("__smatch_debug_implied_on", &match_debug_implied_on
, NULL
);
402 add_function_hook("__smatch_debug_implied_off", &match_debug_implied_off
, NULL
);