Home
last modified time | relevance | path

Searched refs:sm_printf (Results 1 – 10 of 10) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_implicit_dependencies.c86 sm_printf("%s read_list: [", syscall_name); in print_read_list()
87 sm_printf("%s, ", tracker->name); in print_read_list()
92 sm_printf("]\n"); in print_read_list()
102 sm_printf("%s write_list: [", syscall_name); in print_write_list()
103 sm_printf("%s, ", tracker->name); in print_write_list()
108 sm_printf("]\n"); in print_write_list()
118 sm_printf("%s arg_list: [", syscall_name); in print_arg_list()
119 sm_printf("%s, ", tracker->name); in print_arg_list()
124 sm_printf("]\n"); in print_arg_list()
H A Dcheck_call_tree.c30 sm_printf("info: func_call ("); in match_call()
32 sm_printf(") %s\n", fn_name); in match_call()
H A Dcheck_stack.c68 sm_printf("%s:%d %s() ", get_filename(), max_lineno, get_function()); in match_end_func()
69 sm_printf("warn: function puts %d bytes on stack\n", max_size); in match_end_func()
H A Dcheck_debug.c438 sm_printf("%s: ", sm->name); in print_related()
440 sm_printf("%s ", rel->name); in print_related()
442 sm_printf("\n"); in print_related()
614 sm_printf("[ "); in print_left_right()
616 sm_printf("(%d: %s->'%s')", get_stree_id(sm->left->pool), sm->left->name, sm->left->state->name); in print_left_right()
618 sm_printf(" - "); in print_left_right()
624 …sm_printf("(%d: %s->'%s')", get_stree_id(sm->right->pool), sm->right->name, sm->right->state->nam… in print_left_right()
626 sm_printf(" - "); in print_left_right()
647 sm_printf("merge tree: %s -> %s", name, sm->state->name); in match_print_merge_tree()
649 sm_printf("\n"); in match_print_merge_tree()
H A Dsmatch.h255 #define sm_printf(msg...) do { \ macro
262 sm_printf("%s: %s:%d %s() ", progname, get_filename(), get_lineno(), get_function()); in sm_prefix()
280 sm_printf("warn: "); \
283 sm_printf("error: "); \
286 sm_printf("parse error: "); \
289 sm_printf(msg); \
290 sm_printf("\n"); \
308 #define sm_debug(msg...) do { if (option_debug) sm_printf(msg); } while (0)
309 #define db_debug(msg...) do { if (option_debug || debug_db) sm_printf(msg); } while (0)
314 sm_printf("info: "); \
[all …]
H A Dcheck_unused_ret.c186 sm_printf("%s:%d %s() ", get_filename(), tmp->line, get_function()); in match_end_func()
187 sm_printf("warn: unused return: %s = %s()\n", in match_end_func()
H A Dcheck_double_checking.c257 sm_printf("%s:%d %s() ", get_filename(), get_check_line(sm), get_function()); in after_loop()
258 sm_printf("warn: we tested '%s' already\n", check->name); in after_loop()
H A Dcheck_locking.c1065 sm_printf(" Locked on : %s\n", show_rl(locked_lines)); in check_lock()
1066 sm_printf(" Unlocked on: %s\n", show_rl(unlocked_lines)); in check_lock()
1259 sm_printf(" "); in print_held_locks()
1260 sm_printf("'%s'", sm->name); in print_held_locks()
H A Dsmatch_slist.c84 sm_printf("%s\n", show_sm(sm)); in __print_stree()
86 sm_printf("---\n"); in __print_stree()
H A Dsmatch_db.c113 sm_printf(", "); in print_sql_output()
114 sm_printf("%s", argv[i]); in print_sql_output()
116 sm_printf("\n"); in print_sql_output()