check_kunmap.c

   1 /*
   2  * smatch/check_kunmap.c
   3  *
   4  * Copyright (C) 2010 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"
  12
  13 STATE(no_unmap);
  14
  15 extern int check_assigned_expr_id;
  16 static int my_id;
  17
  18 static void check_assignment(void *data)
  19 {
  20         struct expression *expr = (struct expression *)data;
  21         char *fn;
  22
  23         if (!expr)
  24                 return;
  25         if (expr->type != EXPR_CALL)
  26                 return;
  27         fn = get_variable_from_expr(expr->fn, NULL);
  28         if (!fn)
  29                 return;
  30         if (!strcmp(fn, "kmap"))
  31                 sm_msg("warn: passing the wrong stuff kunmap()");
  32         free_string(fn);
  33 }
  34
  35 static void match_kmap_atomic(const char *fn, struct expression *expr, void *data)
  36 {
  37         struct expression *arg;
  38
  39         arg = get_argument_from_call_expr(expr->args, 0);
  40         set_state_expr(my_id, arg, &no_unmap);
  41 }
  42
  43 static void match_kunmap_atomic(const char *fn, struct expression *expr, void *data)
  44 {
  45         struct expression *arg;
  46         struct sm_state *sm;
  47
  48         arg = get_argument_from_call_expr(expr->args, 0);
  49         sm = get_sm_state_expr(my_id, arg);
  50         if (!sm)
  51                 return;
  52         if (slist_has_state(sm->possible, &no_unmap))
  53                 sm_msg("warn: passing the wrong stuff to kmap_atomic()");
  54 }
  55
  56 static void match_kunmap(const char *fn, struct expression *expr, void *data)
  57 {
  58         struct expression *arg;
  59         struct sm_state *sm;
  60         struct sm_state *tmp;
  61
  62         arg = get_argument_from_call_expr(expr->args, 0);
  63         sm = get_sm_state_expr(check_assigned_expr_id, arg);
  64         if (!sm)
  65                 return;
  66         FOR_EACH_PTR(sm->possible, tmp) {
  67                 check_assignment(tmp->state->data);
  68         } END_FOR_EACH_PTR(tmp);
  69 }
  70
  71 void check_kunmap(int id)
  72 {
  73         my_id = id;
  74         if (option_project != PROJ_KERNEL)
  75                 return;
  76         add_function_hook("kunmap", &match_kunmap, NULL);
  77         add_function_hook("kmap_atomic", &match_kmap_atomic, NULL);
  78         add_function_hook("kunmap_atomic", &match_kunmap_atomic, NULL);
  79 }