check_debug.c

   1 /*
   2  * sparse/check_debug.c
   3  *
   4  * Copyright (C) 2009 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 #include "smatch.h"
  11 #include "smatch_slist.h"  // blast this was supposed to be internal only stuff
  12
  13 static int my_id;
  14
  15 static void match_all_values(const char *fn, struct expression *expr, void *info)
  16 {
  17         struct state_list *slist;
  18
  19         slist = get_all_states(SMATCH_EXTRA);
  20         __print_slist(slist);
  21         free_slist(&slist);
  22 }
  23
  24 static void match_cur_slist(const char *fn, struct expression *expr, void *info)
  25 {
  26         __print_cur_slist();
  27 }
  28
  29 static void match_print_value(const char *fn, struct expression *expr, void *info)
  30 {
  31         struct state_list *slist;
  32         struct sm_state *tmp;
  33         struct expression *arg_expr;
  34
  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;
  39         }
  40
  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);
  47 }
  48
  49 static void print_possible(struct sm_state *sm)
  50 {
  51         struct sm_state *tmp;
  52
  53         sm_msg("Possible values for %s", sm->name);
  54         FOR_EACH_PTR(sm->possible, tmp) {
  55                 printf("%s\n", tmp->state->name);
  56         } END_FOR_EACH_PTR(tmp);
  57         sm_msg("===");
  58 }
  59
  60 static void match_possible(const char *fn, struct expression *expr, void *info)
  61 {
  62         struct state_list *slist;
  63         struct sm_state *tmp;
  64         struct expression *arg_expr;
  65
  66         arg_expr = get_argument_from_call_expr(expr->args, 0);
  67         if (arg_expr->type != EXPR_STRING) {
  68                 sm_msg("error:  the argument to %s is supposed to be a string literal", fn);
  69                 return;
  70         }
  71
  72         slist = get_all_states(SMATCH_EXTRA);
  73         FOR_EACH_PTR(slist, tmp) {
  74                 if (!strcmp(tmp->name, arg_expr->string->data))
  75                         print_possible(tmp);
  76         } END_FOR_EACH_PTR(tmp);
  77         free_slist(&slist);
  78 }
  79
  80 static void match_note(const char *fn, struct expression *expr, void *info)
  81 {
  82         struct expression *arg_expr;
  83
  84         arg_expr = get_argument_from_call_expr(expr->args, 0);
  85         if (arg_expr->type != EXPR_STRING) {
  86                 sm_msg("error:  the argument to %s is supposed to be a string literal", fn);
  87                 return;
  88         }
  89         sm_msg("%s", arg_expr->string->data);
  90 }
  91
  92 static void match_debug_on(const char *fn, struct expression *expr, void *info)
  93 {
  94         option_debug = 1;
  95 }
  96
  97 static void match_debug_off(const char *fn, struct expression *expr, void *info)
  98 {
  99         option_debug = 0;
 100 }
 101 void check_debug(int id)
 102 {
 103         my_id = id;
 104         add_function_hook("__smatch_all_values", &match_all_values, NULL);
 105         add_function_hook("__smatch_value", &match_print_value, NULL);
 106         add_function_hook("__smatch_possible", &match_possible, NULL);
 107         add_function_hook("__smatch_cur_slist", &match_cur_slist, NULL);
 108         add_function_hook("__smatch_note", &match_note, NULL);
 109         add_function_hook("__smatch_debug_on", &match_debug_on, NULL);
 110         add_function_hook("__smatch_debug_off", &match_debug_off, NULL);
 111 }