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"
16 static void match_all_values(const char *fn
, struct expression
*expr
, void *info
)
18 struct state_list
*slist
;
20 slist
= get_all_states(SMATCH_EXTRA
);
25 static void match_cur_slist(const char *fn
, struct expression
*expr
, void *info
)
30 static void match_print_value(const char *fn
, struct expression
*expr
, void *info
)
32 struct state_list
*slist
;
34 struct expression
*arg_expr
;
36 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
37 if (arg_expr
->type
!= EXPR_STRING
) {
38 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
42 slist
= get_all_states(SMATCH_EXTRA
);
43 FOR_EACH_PTR(slist
, tmp
) {
44 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
45 sm_msg("%s = %s", tmp
->name
, tmp
->state
->name
);
46 } END_FOR_EACH_PTR(tmp
);
50 static void match_print_implied(const char *fn
, struct expression
*expr
, void *info
)
52 struct expression
*arg
;
53 struct range_list_sval
*rl
= NULL
;
56 arg
= get_argument_from_call_expr(expr
->args
, 0);
57 get_implied_range_list_sval(arg
, &rl
);
59 name
= get_variable_from_expr_complex(arg
, NULL
);
60 sm_msg("implied: %s = '%s'", name
, show_ranges_sval(rl
));
64 static void match_print_implied_min(const char *fn
, struct expression
*expr
, void *info
)
66 struct expression
*arg
;
70 arg
= get_argument_from_call_expr(expr
->args
, 0);
71 name
= get_variable_from_expr_complex(arg
, NULL
);
73 if (get_implied_min_sval(arg
, &sval
))
74 sm_msg("implied min: %s = %s", name
, sval_to_str(sval
));
76 sm_msg("implied min: %s = <unknown>", name
);
81 static void match_print_implied_max(const char *fn
, struct expression
*expr
, void *info
)
83 struct expression
*arg
;
87 arg
= get_argument_from_call_expr(expr
->args
, 0);
88 name
= get_variable_from_expr_complex(arg
, NULL
);
90 if (!get_implied_max_sval(arg
, &sval
))
91 sm_msg("implied max: %s = %s", name
, sval_to_str(sval
));
93 sm_msg("implied max: %s = <unknown>", name
);
98 static void match_print_absolute_min(const char *fn
, struct expression
*expr
, void *info
)
100 struct expression
*arg
;
104 arg
= get_argument_from_call_expr(expr
->args
, 0);
105 name
= get_variable_from_expr_complex(arg
, NULL
);
107 if (get_absolute_min_sval(arg
, &sval
))
108 sm_msg("absolute min: %s = %s", name
, sval_to_str(sval
));
110 sm_msg("absolute min: %s = <unknown>", name
);
115 static void match_print_absolute_max(const char *fn
, struct expression
*expr
, void *info
)
117 struct expression
*arg
;
121 arg
= get_argument_from_call_expr(expr
->args
, 0);
122 get_absolute_max_sval(arg
, &sval
);
124 name
= get_variable_from_expr_complex(arg
, NULL
);
125 sm_msg("absolute max: %s = %s", name
, sval_to_str(sval
));
129 static void match_sval_info(const char *fn
, struct expression
*expr
, void *info
)
131 struct expression
*arg
;
135 arg
= get_argument_from_call_expr(expr
->args
, 0);
136 name
= get_variable_from_expr_complex(arg
, NULL
);
138 if (!get_implied_value_sval(arg
, &sval
)) {
139 sm_msg("no sval for '%s'", name
);
143 sm_msg("implied: %s %c%d ->value = %llx", name
, sval_unsigned(sval
) ? 'u' : 's', sval_bits(sval
), sval
.value
);
148 static void print_possible(struct sm_state
*sm
)
150 struct sm_state
*tmp
;
152 sm_msg("Possible values for %s", sm
->name
);
153 FOR_EACH_PTR(sm
->possible
, tmp
) {
154 printf("%s\n", tmp
->state
->name
);
155 } END_FOR_EACH_PTR(tmp
);
159 static void match_possible(const char *fn
, struct expression
*expr
, void *info
)
161 struct state_list
*slist
;
162 struct sm_state
*tmp
;
163 struct expression
*arg_expr
;
165 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
166 if (arg_expr
->type
!= EXPR_STRING
) {
167 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
171 slist
= get_all_states(SMATCH_EXTRA
);
172 FOR_EACH_PTR(slist
, tmp
) {
173 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
175 } END_FOR_EACH_PTR(tmp
);
179 static void match_buf_size(const char *fn
, struct expression
*expr
, void *info
)
181 struct expression
*arg
;
185 arg
= get_argument_from_call_expr(expr
->args
, 0);
186 elements
= get_array_size(arg
);
187 bytes
= get_array_size_bytes(arg
);
189 name
= get_variable_from_expr_complex(arg
, NULL
);
190 sm_msg("buf size: '%s' %d elements, %d bytes", name
, elements
, bytes
);
194 static void match_note(const char *fn
, struct expression
*expr
, void *info
)
196 struct expression
*arg_expr
;
198 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
199 if (arg_expr
->type
!= EXPR_STRING
) {
200 sm_msg("error: the argument to %s is supposed to be a string literal", fn
);
203 sm_msg("%s", arg_expr
->string
->data
);
206 static void print_related(struct sm_state
*sm
)
208 struct relation
*rel
;
210 if (!estate_related(sm
->state
))
214 sm_printf("%s: ", sm
->name
);
215 FOR_EACH_PTR(estate_related(sm
->state
), rel
) {
216 sm_printf("%s %s ", show_special(rel
->op
), rel
->name
);
217 } END_FOR_EACH_PTR(rel
);
221 static void match_dump_related(const char *fn
, struct expression
*expr
, void *info
)
223 struct state_list
*slist
;
224 struct sm_state
*tmp
;
226 slist
= get_all_states(SMATCH_EXTRA
);
227 FOR_EACH_PTR(slist
, tmp
) {
229 } END_FOR_EACH_PTR(tmp
);
233 static void match_debug_on(const char *fn
, struct expression
*expr
, void *info
)
238 static void match_debug_off(const char *fn
, struct expression
*expr
, void *info
)
243 void check_debug(int id
)
246 add_function_hook("__smatch_all_values", &match_all_values
, NULL
);
247 add_function_hook("__smatch_value", &match_print_value
, NULL
);
248 add_function_hook("__smatch_implied", &match_print_implied
, NULL
);
249 add_function_hook("__smatch_implied_min", &match_print_implied_min
, NULL
);
250 add_function_hook("__smatch_implied_max", &match_print_implied_max
, NULL
);
251 add_function_hook("__smatch_absolute_min", &match_print_absolute_min
, NULL
);
252 add_function_hook("__smatch_absolute_max", &match_print_absolute_max
, NULL
);
253 add_function_hook("__smatch_sval_info", &match_sval_info
, NULL
);
254 add_function_hook("__smatch_possible", &match_possible
, NULL
);
255 add_function_hook("__smatch_cur_slist", &match_cur_slist
, NULL
);
256 add_function_hook("__smatch_buf_size", &match_buf_size
, NULL
);
257 add_function_hook("__smatch_note", &match_note
, NULL
);
258 add_function_hook("__smatch_dump_related", &match_dump_related
, NULL
);
259 add_function_hook("__smatch_debug_on", &match_debug_on
, NULL
);
260 add_function_hook("__smatch_debug_off", &match_debug_off
, NULL
);