smatch_dinfo.c

   1 /*
   2  * smatch/smatch_dinfo.c
   3  *
   4  * Copyright (C) 2010 Dan Carpenter.
   5  *
   6  * Licensed under the Open Software License version 1.1
   7  *
   8  */
   9
  10 /*
  11  * smatch_dinfo.c has helper functions for handling data_info structs
  12  *
  13  */
  14
  15 #include <stdlib.h>
  16 #ifndef __USE_ISOC99
  17 #define __USE_ISOC99
  18 #endif
  19 #include <limits.h>
  20 #include "parse.h"
  21 #include "smatch.h"
  22 #include "smatch_slist.h"
  23 #include "smatch_extra.h"
  24
  25 struct data_range whole_range = {
  26         .min = LLONG_MIN,
  27         .max = LLONG_MAX,
  28 };
  29
  30 static struct data_info *alloc_dinfo(void)
  31 {
  32         struct data_info *ret;
  33
  34         ret = __alloc_data_info(0);
  35         ret->related = NULL;
  36         ret->type = DATA_RANGE;
  37         ret->value_ranges = NULL;
  38         return ret;
  39 }
  40
  41 static struct data_info *alloc_dinfo_range(long long min, long long max)
  42 {
  43         struct data_info *ret;
  44
  45         ret = alloc_dinfo();
  46         add_range(&ret->value_ranges, min, max);
  47         return ret;
  48 }
  49
  50 static struct data_info *alloc_dinfo_range_list(struct range_list *rl)
  51 {
  52         struct data_info *ret;
  53
  54         ret = alloc_dinfo();
  55         ret->value_ranges = rl;
  56         return ret;
  57 }
  58
  59 static struct data_info *clone_dinfo(struct data_info *dinfo)
  60 {
  61         struct data_info *ret;
  62
  63         ret = alloc_dinfo();
  64         ret->related = clone_related_list(dinfo->related);
  65         ret->value_ranges = clone_range_list(dinfo->value_ranges);
  66         return ret;
  67 }
  68
  69 struct smatch_state *clone_extra_state(struct smatch_state *state)
  70 {
  71         struct smatch_state *ret;
  72
  73         ret = __alloc_smatch_state(0);
  74         ret->name = state->name;
  75         ret->data = clone_dinfo(get_dinfo(state));
  76         return ret;
  77 }
  78
  79 struct smatch_state *alloc_extra_state_empty(void)
  80 {
  81         struct smatch_state *state;
  82         struct data_info *dinfo;
  83
  84         dinfo = alloc_dinfo();
  85         state = __alloc_smatch_state(0);
  86         state->data = dinfo;
  87         state->name = "";
  88         return state;
  89 }
  90
  91 static struct smatch_state *alloc_extra_state_no_name(int val)
  92 {
  93         struct smatch_state *state;
  94
  95         state = __alloc_smatch_state(0);
  96         state->data = (void *)alloc_dinfo_range(val, val);
  97         return state;
  98 }
  99
 100 /* We do this because ->value_ranges is a list */
 101 struct smatch_state *extra_undefined(void)
 102 {
 103         struct data_info *dinfo;
 104         static struct smatch_state *ret;
 105         static struct symbol *prev_func;
 106
 107         if  (prev_func == cur_func_sym)
 108                 return ret;
 109         prev_func = cur_func_sym;
 110
 111         dinfo = alloc_dinfo_range(whole_range.min, whole_range.max);
 112         ret = __alloc_smatch_state(0);
 113         ret->name = "unknown";
 114         ret->data = dinfo;
 115         return ret;
 116 }
 117
 118 struct smatch_state *extra_empty(void)
 119 {
 120         static struct smatch_state *ret;
 121         static struct symbol *prev_func;
 122
 123         if  (prev_func == cur_func_sym)
 124                 return ret;
 125         prev_func = cur_func_sym;
 126
 127         ret = __alloc_smatch_state(0);
 128         ret->name = "empty";
 129         ret->data = alloc_dinfo();
 130         return ret;
 131 }
 132
 133 struct smatch_state *alloc_extra_state(long long val)
 134 {
 135         struct smatch_state *state;
 136
 137         state = alloc_extra_state_no_name(val);
 138         state->name = show_ranges(get_dinfo(state)->value_ranges);
 139         return state;
 140 }
 141
 142 struct smatch_state *alloc_extra_state_range(long long min, long long max)
 143 {
 144         struct smatch_state *state;
 145
 146         if (min == whole_range.min && max == whole_range.max)
 147                 return extra_undefined();
 148         state = __alloc_smatch_state(0);
 149         state->data = (void *)alloc_dinfo_range(min, max);
 150         state->name = show_ranges(get_dinfo(state)->value_ranges);
 151         return state;
 152 }
 153
 154 struct smatch_state *alloc_extra_state_range_list(struct range_list *rl)
 155 {
 156         struct smatch_state *state;
 157
 158         if (!rl)
 159                 return extra_empty();
 160
 161         if (is_whole_range_rl(rl))
 162                 return extra_undefined();
 163
 164         state = __alloc_smatch_state(0);
 165         state->data = (void *)alloc_dinfo_range_list(rl);
 166         state->name = show_ranges(get_dinfo(state)->value_ranges);
 167         return state;
 168 }
 169