handle stuff like the kernel's WARN_ON() macro
[smatch.git] / check_debug.c
blob35db613f08f6b6a32655f7c1e95479b272c1b90a
1 /*
2 * sparse/check_debug.c
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
8 */
10 #include "smatch.h"
11 #include "smatch_slist.h" // blast this was supposed to be internal only stuff
13 static int my_id;
15 static void match_all_values(const char *fn, struct expression *expr, void *info)
17 struct state_list *slist;
19 slist = get_all_states(SMATCH_EXTRA);
20 __print_slist(slist);
21 free_slist(&slist);
24 static void match_cur_slist(const char *fn, struct expression *expr, void *info)
26 __print_cur_slist();
29 static void match_print_value(const char *fn, struct expression *expr, void *info)
31 struct state_list *slist;
32 struct sm_state *tmp;
33 struct expression *arg_expr;
35 arg_expr = get_argument_from_call_expr(expr->args, 0);
36 if (arg_expr->type != EXPR_STRING) {
37 sm_msg("error: the argument to %s is supposed to be a string literal", fn);
38 return;
41 slist = get_all_states(SMATCH_EXTRA);
42 FOR_EACH_PTR(slist, tmp) {
43 if (!strcmp(tmp->name, arg_expr->string->data))
44 sm_msg("%s = %s", tmp->name, tmp->state->name);
45 } END_FOR_EACH_PTR(tmp);
46 free_slist(&slist);
49 static void match_note(const char *fn, struct expression *expr, void *info)
51 struct expression *arg_expr;
53 arg_expr = get_argument_from_call_expr(expr->args, 0);
54 if (arg_expr->type != EXPR_STRING) {
55 sm_msg("error: the argument to %s is supposed to be a string literal", fn);
56 return;
58 sm_msg("%s", arg_expr->string->data);
62 void check_debug(int id)
64 my_id = id;
65 add_function_hook("__smatch_all_values", &match_all_values, NULL);
66 add_function_hook("__smatch_print_value", &match_print_value, NULL);
67 add_function_hook("__smatch_cur_slist", &match_cur_slist, NULL);
68 add_function_hook("__smatch_note", &match_note, NULL);