2 * Copyright (C) 2009 Dan Carpenter.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
21 #include "smatch_slist.h"
22 #include "smatch_extra.h"
24 void show_sname_alloc(void);
25 void show_data_range_alloc(void);
26 void show_ptrlist_alloc(void);
27 void show_rl_ptrlist_alloc(void);
28 void show_sm_state_alloc(void);
34 static void match_all_values(const char *fn
, struct expression
*expr
, void *info
)
38 stree
= get_all_states_stree(SMATCH_EXTRA
);
43 static void match_cur_stree(const char *fn
, struct expression
*expr
, void *info
)
48 static void match_state(const char *fn
, struct expression
*expr
, void *info
)
50 struct expression
*check_arg
, *state_arg
;
54 check_arg
= get_argument_from_call_expr(expr
->args
, 0);
55 if (check_arg
->type
!= EXPR_STRING
) {
56 sm_error("the check_name argument to %s is supposed to be a string literal", fn
);
59 state_arg
= get_argument_from_call_expr(expr
->args
, 1);
60 if (!state_arg
|| state_arg
->type
!= EXPR_STRING
) {
61 sm_error("the state_name argument to %s is supposed to be a string literal", fn
);
65 FOR_EACH_SM(__get_cur_stree(), sm
) {
66 if (strcmp(check_name(sm
->owner
), check_arg
->string
->data
) != 0)
68 if (strcmp(sm
->name
, state_arg
->string
->data
) != 0)
70 sm_msg("'%s' = '%s'", sm
->name
, sm
->state
->name
);
72 } END_FOR_EACH_SM(sm
);
75 sm_msg("%s '%s' not found", check_arg
->string
->data
, state_arg
->string
->data
);
78 static void match_states(const char *fn
, struct expression
*expr
, void *info
)
80 struct expression
*check_arg
;
82 check_arg
= get_argument_from_call_expr(expr
->args
, 0);
83 if (check_arg
->type
!= EXPR_STRING
) {
84 sm_error("the check_name argument to %s is supposed to be a string literal", fn
);
88 if (__print_states(check_arg
->string
->data
))
91 if (!id_from_name(check_arg
->string
->data
))
92 sm_msg("invalid check name '%s'", check_arg
->string
->data
);
94 sm_msg("%s: no states", check_arg
->string
->data
);
97 static void match_print_value(const char *fn
, struct expression
*expr
, void *info
)
100 struct sm_state
*tmp
;
101 struct expression
*arg_expr
;
103 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
104 if (arg_expr
->type
!= EXPR_STRING
) {
105 sm_error("the argument to %s is supposed to be a string literal", fn
);
109 stree
= __get_cur_stree();
110 FOR_EACH_MY_SM(SMATCH_EXTRA
, stree
, tmp
) {
111 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
112 sm_msg("%s = %s", tmp
->name
, tmp
->state
->name
);
113 } END_FOR_EACH_SM(tmp
);
116 static void match_print_known(const char *fn
, struct expression
*expr
, void *info
)
118 struct expression
*arg
;
119 struct range_list
*rl
= NULL
;
124 arg
= get_argument_from_call_expr(expr
->args
, 0);
125 if (get_value(arg
, &sval
))
128 get_implied_rl(arg
, &rl
);
130 name
= expr_to_str(arg
);
131 sm_msg("known: '%s' = '%s'. implied = '%s'", name
, known
? sval_to_str(sval
) : "<unknown>", show_rl(rl
));
135 static void match_print_implied(const char *fn
, struct expression
*expr
, void *info
)
137 struct expression
*arg
;
138 struct range_list
*rl
= NULL
;
141 arg
= get_argument_from_call_expr(expr
->args
, 0);
142 get_implied_rl(arg
, &rl
);
144 name
= expr_to_str(arg
);
145 sm_msg("implied: %s = '%s'", name
, show_rl(rl
));
149 static void match_real_absolute(const char *fn
, struct expression
*expr
, void *info
)
151 struct expression
*arg
;
152 struct range_list
*rl
= NULL
;
155 arg
= get_argument_from_call_expr(expr
->args
, 0);
156 get_real_absolute_rl(arg
, &rl
);
158 name
= expr_to_str(arg
);
159 sm_msg("real absolute: %s = '%s'", name
, show_rl(rl
));
163 static void match_print_implied_min(const char *fn
, struct expression
*expr
, void *info
)
165 struct expression
*arg
;
169 arg
= get_argument_from_call_expr(expr
->args
, 0);
170 name
= expr_to_str(arg
);
172 if (get_implied_min(arg
, &sval
))
173 sm_msg("implied min: %s = %s", name
, sval_to_str(sval
));
175 sm_msg("implied min: %s = <unknown>", name
);
180 static void match_print_implied_max(const char *fn
, struct expression
*expr
, void *info
)
182 struct expression
*arg
;
186 arg
= get_argument_from_call_expr(expr
->args
, 0);
187 name
= expr_to_str(arg
);
189 if (get_implied_max(arg
, &sval
))
190 sm_msg("implied max: %s = %s", name
, sval_to_str(sval
));
192 sm_msg("implied max: %s = <unknown>", name
);
197 static void match_user_rl(const char *fn
, struct expression
*expr
, void *info
)
199 struct expression
*arg
;
200 struct range_list
*rl
= NULL
;
204 if (option_project
!= PROJ_KERNEL
)
205 sm_msg("no user data for project = '%s'", option_project_str
);
207 arg
= get_argument_from_call_expr(expr
->args
, 0);
208 name
= expr_to_str(arg
);
210 get_user_rl(arg
, &rl
);
212 capped
= user_rl_capped(arg
);
213 sm_msg("user rl: '%s' = '%s'%s", name
, show_rl(rl
), capped
? " (capped)" : "");
218 static void match_capped(const char *fn
, struct expression
*expr
, void *info
)
220 struct expression
*arg
;
223 arg
= get_argument_from_call_expr(expr
->args
, 0);
224 name
= expr_to_str(arg
);
225 sm_msg("'%s' = '%s'", name
, is_capped(arg
) ? "capped" : "not capped");
229 static void match_print_hard_max(const char *fn
, struct expression
*expr
, void *info
)
231 struct expression
*arg
;
235 arg
= get_argument_from_call_expr(expr
->args
, 0);
236 name
= expr_to_str(arg
);
238 if (get_hard_max(arg
, &sval
))
239 sm_msg("hard max: %s = %s", name
, sval_to_str(sval
));
241 sm_msg("hard max: %s = <unknown>", name
);
246 static void match_print_fuzzy_max(const char *fn
, struct expression
*expr
, void *info
)
248 struct expression
*arg
;
252 arg
= get_argument_from_call_expr(expr
->args
, 0);
253 name
= expr_to_str(arg
);
255 if (get_fuzzy_max(arg
, &sval
))
256 sm_msg("fuzzy max: %s = %s", name
, sval_to_str(sval
));
258 sm_msg("fuzzy max: %s = <unknown>", name
);
263 static void match_print_absolute(const char *fn
, struct expression
*expr
, void *info
)
265 struct expression
*arg
;
266 struct range_list
*rl
;
269 arg
= get_argument_from_call_expr(expr
->args
, 0);
270 name
= expr_to_str(arg
);
272 get_absolute_rl(arg
, &rl
);
273 sm_msg("absolute: %s = %s", name
, show_rl(rl
));
278 static void match_print_absolute_min(const char *fn
, struct expression
*expr
, void *info
)
280 struct expression
*arg
;
284 arg
= get_argument_from_call_expr(expr
->args
, 0);
285 name
= expr_to_str(arg
);
287 if (get_absolute_min(arg
, &sval
))
288 sm_msg("absolute min: %s = %s", name
, sval_to_str(sval
));
290 sm_msg("absolute min: %s = <unknown>", name
);
295 static void match_print_absolute_max(const char *fn
, struct expression
*expr
, void *info
)
297 struct expression
*arg
;
301 arg
= get_argument_from_call_expr(expr
->args
, 0);
302 get_absolute_max(arg
, &sval
);
304 name
= expr_to_str(arg
);
305 sm_msg("absolute max: %s = %s", name
, sval_to_str(sval
));
309 static void match_sval_info(const char *fn
, struct expression
*expr
, void *info
)
311 struct expression
*arg
;
315 arg
= get_argument_from_call_expr(expr
->args
, 0);
316 name
= expr_to_str(arg
);
318 if (!get_implied_value(arg
, &sval
)) {
319 sm_msg("no sval for '%s'", name
);
323 sm_msg("implied: %s %c%d ->value = %llx", name
, sval_unsigned(sval
) ? 'u' : 's', sval_bits(sval
), sval
.value
);
328 static void match_member_name(const char *fn
, struct expression
*expr
, void *info
)
330 struct expression
*arg
;
331 char *name
, *member_name
;
333 arg
= get_argument_from_call_expr(expr
->args
, 0);
334 name
= expr_to_str(arg
);
335 member_name
= get_member_name(arg
);
336 sm_msg("member name: '%s => %s'", name
, member_name
);
337 free_string(member_name
);
341 static void print_possible(struct sm_state
*sm
)
343 struct sm_state
*tmp
;
345 sm_msg("Possible values for %s", sm
->name
);
346 FOR_EACH_PTR(sm
->possible
, tmp
) {
347 printf("%s\n", tmp
->state
->name
);
348 } END_FOR_EACH_PTR(tmp
);
352 static void match_possible(const char *fn
, struct expression
*expr
, void *info
)
355 struct sm_state
*tmp
;
356 struct expression
*arg_expr
;
358 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
359 if (arg_expr
->type
!= EXPR_STRING
) {
360 sm_error("the argument to %s is supposed to be a string literal", fn
);
364 stree
= __get_cur_stree();
365 FOR_EACH_MY_SM(SMATCH_EXTRA
, stree
, tmp
) {
366 if (!strcmp(tmp
->name
, arg_expr
->string
->data
))
368 } END_FOR_EACH_SM(tmp
);
371 static void match_strlen(const char *fn
, struct expression
*expr
, void *info
)
373 struct expression
*arg
;
374 struct range_list
*rl
;
377 arg
= get_argument_from_call_expr(expr
->args
, 0);
378 get_implied_strlen(arg
, &rl
);
380 name
= expr_to_str(arg
);
381 sm_msg("strlen: '%s' %s characters", name
, show_rl(rl
));
385 static void match_buf_size(const char *fn
, struct expression
*expr
, void *info
)
387 struct expression
*arg
, *comp
;
388 struct range_list
*rl
;
396 arg
= get_argument_from_call_expr(expr
->args
, 0);
398 elements
= get_array_size(arg
);
399 bytes
= get_array_size_bytes_max(arg
);
400 rl
= get_array_size_bytes_rl(arg
);
401 comp
= get_size_variable(arg
, &limit_type
);
403 name
= expr_to_str(arg
);
404 n
= snprintf(buf
, sizeof(buf
), "buf size: '%s' %d elements, %d bytes", name
, elements
, bytes
);
407 if (!rl_to_sval(rl
, &sval
))
408 n
+= snprintf(buf
+ n
, sizeof(buf
) - n
, " (rl = %s)", show_rl(rl
));
411 name
= expr_to_str(comp
);
412 snprintf(buf
+ n
, sizeof(buf
) - n
, "[size_var=%s %s]", limit_type_str(limit_type
), name
);
418 static void match_note(const char *fn
, struct expression
*expr
, void *info
)
420 struct expression
*arg_expr
;
422 arg_expr
= get_argument_from_call_expr(expr
->args
, 0);
423 if (arg_expr
->type
!= EXPR_STRING
) {
424 sm_error("the argument to %s is supposed to be a string literal", fn
);
427 sm_msg("%s", arg_expr
->string
->data
);
430 static void print_related(struct sm_state
*sm
)
432 struct relation
*rel
;
434 if (!estate_related(sm
->state
))
438 sm_printf("%s: ", sm
->name
);
439 FOR_EACH_PTR(estate_related(sm
->state
), rel
) {
440 sm_printf("%s ", rel
->name
);
441 } END_FOR_EACH_PTR(rel
);
445 static void match_dump_related(const char *fn
, struct expression
*expr
, void *info
)
448 struct sm_state
*tmp
;
450 stree
= __get_cur_stree();
451 FOR_EACH_MY_SM(SMATCH_EXTRA
, stree
, tmp
) {
453 } END_FOR_EACH_SM(tmp
);
456 static void match_compare(const char *fn
, struct expression
*expr
, void *info
)
458 struct expression
*one
, *two
;
459 char *one_name
, *two_name
;
463 one
= get_argument_from_call_expr(expr
->args
, 0);
464 two
= get_argument_from_call_expr(expr
->args
, 1);
466 comparison
= get_comparison(one
, two
);
468 snprintf(buf
, sizeof(buf
), "<none>");
470 snprintf(buf
, sizeof(buf
), "%s", show_special(comparison
));
472 one_name
= expr_to_str(one
);
473 two_name
= expr_to_str(two
);
475 sm_msg("%s %s %s", one_name
, buf
, two_name
);
477 free_string(one_name
);
478 free_string(two_name
);
481 static void match_debug_on(const char *fn
, struct expression
*expr
, void *info
)
486 static void match_debug_check(const char *fn
, struct expression
*expr
, void *info
)
488 struct expression
*arg
;
490 arg
= get_argument_from_call_expr(expr
->args
, 0);
491 if (!arg
|| arg
->type
!= EXPR_STRING
)
493 option_debug_check
= arg
->string
->data
;
494 sm_msg("arg = '%s'", option_debug_check
);
497 static void match_debug_var(const char *fn
, struct expression
*expr
, void *info
)
499 struct expression
*arg
;
501 arg
= get_argument_from_call_expr(expr
->args
, 0);
502 if (!arg
|| arg
->type
!= EXPR_STRING
)
504 option_debug_var
= arg
->string
->data
;
505 sm_msg("debug var = '%s'", option_debug_var
);
508 static void match_debug_off(const char *fn
, struct expression
*expr
, void *info
)
510 option_debug_check
= NULL
;
511 option_debug_var
= NULL
;
515 static void match_local_debug_on(const char *fn
, struct expression
*expr
, void *info
)
520 static void match_local_debug_off(const char *fn
, struct expression
*expr
, void *info
)
525 static void match_debug_db_on(const char *fn
, struct expression
*expr
, void *info
)
530 static void match_debug_db_off(const char *fn
, struct expression
*expr
, void *info
)
535 static void match_debug_implied_on(const char *fn
, struct expression
*expr
, void *info
)
537 implied_debug
= true;
540 static void match_debug_implied_off(const char *fn
, struct expression
*expr
, void *info
)
542 implied_debug
= false;
545 static void mtag_info(struct expression
*expr
)
549 struct range_list
*rl
= NULL
;
551 expr_to_mtag_offset(expr
, &tag
, &offset
);
552 get_mtag_rl(expr
, &rl
);
553 sm_msg("mtag = %llu offset = %d rl = '%s'", tag
, offset
, show_rl(rl
));
556 static void match_about(const char *fn
, struct expression
*expr
, void *info
)
558 struct expression
*arg
;
559 struct range_list
*rl
;
563 sm_msg("---- about ----");
564 match_print_implied(fn
, expr
, NULL
);
565 match_buf_size(fn
, expr
, NULL
);
566 match_strlen(fn
, expr
, NULL
);
567 match_real_absolute(fn
, expr
, NULL
);
570 arg
= get_argument_from_call_expr(expr
->args
, 0);
571 name
= expr_to_str(arg
);
573 sm_msg("info: not a straight forward variable.");
577 if (get_user_rl(arg
, &rl
))
578 sm_msg("user_rl = '%s'", show_rl(rl
));
579 if (points_to_user_data(arg
))
580 sm_msg("points to user data");
582 FOR_EACH_SM(__get_cur_stree(), sm
) {
583 if (strcmp(sm
->name
, name
) != 0)
585 sm_msg("%s", show_sm(sm
));
586 } END_FOR_EACH_SM(sm
);
589 static void match_intersection(const char *fn
, struct expression
*expr
, void *info
)
591 struct expression
*one
, *two
;
592 struct range_list
*one_rl
, *two_rl
;
593 struct range_list
*res
;
595 one
= get_argument_from_call_expr(expr
->args
, 0);
596 two
= get_argument_from_call_expr(expr
->args
, 1);
598 get_absolute_rl(one
, &one_rl
);
599 get_absolute_rl(two
, &two_rl
);
601 res
= rl_intersection(one_rl
, two_rl
);
602 sm_msg("'%s' intersect '%s' is '%s'", show_rl(one_rl
), show_rl(two_rl
), show_rl(res
));
605 static void match_type(const char *fn
, struct expression
*expr
, void *info
)
607 struct expression
*one
;
611 one
= get_argument_from_call_expr(expr
->args
, 0);
612 type
= get_type(one
);
613 name
= expr_to_str(one
);
614 sm_msg("type of '%s' is: '%s'", name
, type_to_str(type
));
618 static int match_type_rl_return(struct expression
*call
, void *unused
, struct range_list
**rl
)
620 struct expression
*one
, *two
;
623 one
= get_argument_from_call_expr(call
->args
, 0);
624 type
= get_type(one
);
626 two
= get_argument_from_call_expr(call
->args
, 1);
627 if (!two
|| two
->type
!= EXPR_STRING
) {
628 sm_msg("expected: __smatch_type_rl(type, \"string\")");
631 call_results_to_rl(call
, type
, two
->string
->data
, rl
);
635 static void print_left_right(struct sm_state
*sm
)
639 if (!sm
->left
&& !sm
->right
)
644 sm_printf("(%d: %s->'%s')", get_stree_id(sm
->left
->pool
), sm
->left
->name
, sm
->left
->state
->name
);
649 print_left_right(sm
->left
);
652 sm_printf("(%d: %s->'%s')", get_stree_id(sm
->right
->pool
), sm
->right
->name
, sm
->right
->state
->name
);
656 print_left_right(sm
->right
);
659 static void match_print_merge_tree(const char *fn
, struct expression
*expr
, void *info
)
662 struct expression
*arg
;
665 arg
= get_argument_from_call_expr(expr
->args
, 0);
666 name
= expr_to_str(arg
);
668 sm
= get_sm_state_expr(SMATCH_EXTRA
, arg
);
670 sm_msg("no sm state for '%s'", name
);
675 sm_printf("merge tree: %s -> %s", name
, sm
->state
->name
);
676 print_left_right(sm
);
683 static void match_print_stree_id(const char *fn
, struct expression
*expr
, void *info
)
685 sm_msg("stree_id %d", __stree_id
);
688 static void match_bits(const char *fn
, struct expression
*expr
, void *_unused
)
690 struct expression
*arg
;
691 struct bit_info
*info
;
694 arg
= get_argument_from_call_expr(expr
->args
, 0);
695 name
= expr_to_str(arg
);
697 info
= get_bit_info(arg
);
699 sm_msg("bit info '%s': definitely set 0x%llx. possibly set 0x%llx.",
700 name
, info
->set
, info
->possible
);
703 static void match_mtag(const char *fn
, struct expression
*expr
, void *info
)
705 struct expression
*arg
;
710 arg
= get_argument_from_call_expr(expr
->args
, 0);
711 name
= expr_to_str(arg
);
712 expr_to_mtag_offset(arg
, &tag
, &offset
);
713 sm_msg("mtag: '%s' => tag: %llu %d", name
, tag
, offset
);
717 static void match_mtag_data_offset(const char *fn
, struct expression
*expr
, void *info
)
719 struct expression
*arg
;
724 arg
= get_argument_from_call_expr(expr
->args
, 0);
725 name
= expr_to_str(arg
);
726 expr_to_mtag_offset(arg
, &tag
, &offset
);
727 sm_msg("mtag: '%s' => tag: %lld, offset: %d", name
, tag
, offset
);
731 static void match_container(const char *fn
, struct expression
*expr
, void *info
)
733 struct expression
*container
, *x
;
734 char *cont
, *name
, *str
;
736 container
= get_argument_from_call_expr(expr
->args
, 0);
737 x
= get_argument_from_call_expr(expr
->args
, 1);
739 str
= get_container_name(container
, x
);
740 cont
= expr_to_str(container
);
741 name
= expr_to_str(x
);
742 sm_msg("container: '%s' vs '%s' --> '%s'", cont
, name
, str
);
747 static struct timeval debug_timer
;
748 static void match_timer_start(const char *fn
, struct expression
*expr
, void *info
)
750 gettimeofday(&debug_timer
, NULL
);
753 static void match_timer_stop(const char *fn
, struct expression
*expr
, void *info
)
756 long sec
, usec
, msec
;
758 gettimeofday(&stop
, NULL
);
760 sec
= stop
.tv_sec
- debug_timer
.tv_sec
;
761 usec
= stop
.tv_usec
- debug_timer
.tv_usec
;
762 msec
= sec
* 1000 + usec
/ 1000;
764 sm_msg("timer: %ld msec", msec
);
765 gettimeofday(&debug_timer
, NULL
);
768 static void match_expr(const char *fn
, struct expression
*expr
, void *info
)
770 struct expression
*arg
, *str
, *new;
771 char *name
, *new_name
;
773 str
= get_argument_from_call_expr(expr
->args
, 0);
774 arg
= get_argument_from_call_expr(expr
->args
, 1);
778 if (str
->type
!= EXPR_STRING
)
781 new = gen_expression_from_key(arg
, str
->string
->data
);
782 name
= expr_to_str(arg
);
783 new_name
= expr_to_str(new);
785 sm_msg("str = '%s', arg = '%s' expr = '%s'", str
->string
->data
, name
, new_name
);
787 free_string(new_name
);
790 static void match_state_count(const char *fn
, struct expression
*expr
, void *info
)
792 sm_msg("state_count = %d\n", sm_state_counter
);
795 static void match_mem(const char *fn
, struct expression
*expr
, void *info
)
798 show_data_range_alloc();
799 show_rl_ptrlist_alloc();
800 show_ptrlist_alloc();
801 sm_msg("%lu pools", get_pool_count());
802 sm_msg("%d strees", unfree_stree
);
803 show_smatch_state_alloc();
804 show_sm_state_alloc();
807 static void match_exit(const char *fn
, struct expression
*expr
, void *info
)
812 static struct stree
*old_stree
;
813 static void trace_var(struct statement
*stmt
)
815 struct sm_state
*sm
, *old
;
823 FOR_EACH_SM(__get_cur_stree(), sm
) {
824 if (strcmp(sm
->name
, trace_variable
) != 0)
826 old
= get_sm_state_stree(old_stree
, sm
->owner
, sm
->name
, sm
->sym
);
827 if (old
&& old
->state
== sm
->state
)
829 sm_msg("[%d] %s '%s': '%s' => '%s'", stmt
->type
,
830 check_name(sm
->owner
),
831 sm
->name
, old
? old
->state
->name
: "<none>", sm
->state
->name
);
833 } END_FOR_EACH_SM(sm
);
836 free_stree(&old_stree
);
837 old_stree
= clone_stree(__get_cur_stree());
841 static void free_old_stree(struct symbol
*sym
)
843 free_stree(&old_stree
);
846 void check_debug(int id
)
849 add_function_hook("__smatch_about", &match_about
, NULL
);
850 add_function_hook("__smatch_all_values", &match_all_values
, NULL
);
851 add_function_hook("__smatch_state", &match_state
, NULL
);
852 add_function_hook("__smatch_states", &match_states
, NULL
);
853 add_function_hook("__smatch_value", &match_print_value
, NULL
);
854 add_function_hook("__smatch_known", &match_print_known
, NULL
);
855 add_function_hook("__smatch_implied", &match_print_implied
, NULL
);
856 add_function_hook("__smatch_implied_min", &match_print_implied_min
, NULL
);
857 add_function_hook("__smatch_implied_max", &match_print_implied_max
, NULL
);
858 add_function_hook("__smatch_user_rl", &match_user_rl
, NULL
);
859 add_function_hook("__smatch_capped", &match_capped
, NULL
);
860 add_function_hook("__smatch_hard_max", &match_print_hard_max
, NULL
);
861 add_function_hook("__smatch_fuzzy_max", &match_print_fuzzy_max
, NULL
);
862 add_function_hook("__smatch_absolute", &match_print_absolute
, NULL
);
863 add_function_hook("__smatch_absolute_min", &match_print_absolute_min
, NULL
);
864 add_function_hook("__smatch_absolute_max", &match_print_absolute_max
, NULL
);
865 add_function_hook("__smatch_real_absolute", &match_real_absolute
, NULL
);
866 add_function_hook("__smatch_sval_info", &match_sval_info
, NULL
);
867 add_function_hook("__smatch_member_name", &match_member_name
, NULL
);
868 add_function_hook("__smatch_possible", &match_possible
, NULL
);
869 add_function_hook("__smatch_cur_stree", &match_cur_stree
, NULL
);
870 add_function_hook("__smatch_strlen", &match_strlen
, NULL
);
871 add_function_hook("__smatch_buf_size", &match_buf_size
, NULL
);
872 add_function_hook("__smatch_note", &match_note
, NULL
);
873 add_function_hook("__smatch_dump_related", &match_dump_related
, NULL
);
874 add_function_hook("__smatch_compare", &match_compare
, NULL
);
875 add_function_hook("__smatch_debug_on", &match_debug_on
, NULL
);
876 add_function_hook("__smatch_debug_check", &match_debug_check
, NULL
);
877 add_function_hook("__smatch_debug_var", &match_debug_var
, NULL
);
878 add_function_hook("__smatch_debug_off", &match_debug_off
, NULL
);
879 add_function_hook("__smatch_local_debug_on", &match_local_debug_on
, NULL
);
880 add_function_hook("__smatch_local_debug_off", &match_local_debug_off
, NULL
);
881 add_function_hook("__smatch_debug_db_on", &match_debug_db_on
, NULL
);
882 add_function_hook("__smatch_debug_db_off", &match_debug_db_off
, NULL
);
883 add_function_hook("__smatch_debug_implied_on", &match_debug_implied_on
, NULL
);
884 add_function_hook("__smatch_debug_implied_off", &match_debug_implied_off
, NULL
);
885 add_function_hook("__smatch_intersection", &match_intersection
, NULL
);
886 add_function_hook("__smatch_type", &match_type
, NULL
);
887 add_implied_return_hook("__smatch_type_rl_helper", &match_type_rl_return
, NULL
);
888 add_function_hook("__smatch_merge_tree", &match_print_merge_tree
, NULL
);
889 add_function_hook("__smatch_stree_id", &match_print_stree_id
, NULL
);
890 add_function_hook("__smatch_bits", &match_bits
, NULL
);
891 add_function_hook("__smatch_mtag", &match_mtag
, NULL
);
892 add_function_hook("__smatch_mtag_data", &match_mtag_data_offset
, NULL
);
893 add_function_hook("__smatch_expr", &match_expr
, NULL
);
894 add_function_hook("__smatch_state_count", &match_state_count
, NULL
);
895 add_function_hook("__smatch_mem", &match_mem
, NULL
);
896 add_function_hook("__smatch_exit", &match_exit
, NULL
);
897 add_function_hook("__smatch_container", &match_container
, NULL
);
898 add_function_hook("__smatch_timer_start", &match_timer_start
, NULL
);
899 add_function_hook("__smatch_timer_stop", &match_timer_stop
, NULL
);
901 add_hook(free_old_stree
, AFTER_FUNC_HOOK
);
902 add_hook(trace_var
, STMT_HOOK_AFTER
);