| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_debug.c | 241 sm_msg("hard max: %s = <unknown>", name); in match_print_hard_max()
319 sm_msg("no sval for '%s'", name); in match_sval_info()
349 sm_msg("==="); in print_possible()
415 sm_msg("%s", buf); in match_buf_size()
427 sm_msg("%s", arg_expr->string->data); in match_note()
540 sm_msg("---- about ----"); in match_about()
557 sm_msg("%s", show_sm(sm)); in match_about()
642 sm_msg("no sm state for '%s'", name); in match_print_merge_tree()
657 sm_msg("stree_id %d", __stree_id); in match_print_stree_id()
752 sm_msg("%lu pools", get_pool_count()); in match_mem()
[all …]
|
| H A D | check_implicit_dependencies.c | 64 sm_msg("return type: %s\n", cur_return_type->ident->name); in match_syscall_definition()
69 sm_msg("=======check_impl: arguments for call %s=========\n", syscall_name); in match_syscall_definition()
73 sm_msg("arg type: %s\n", cur_return_type->ident->name); in match_syscall_definition()
75 sm_msg("=================================\n"); in match_syscall_definition()
|
| H A D | smatch_states.c | 88 sm_msg("%s", show_sm(sm)); in __print_states()
166 sm_msg("%s new [%s] '%s' %s", __func__, in set_state()
169 sm_msg("%s change [%s] '%s' %s => %s", in set_state()
276 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm()
278 sm_msg("%s change %s (was %s)", __func__, show_sm(sm), in __set_sm()
302 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm_cur_stree()
304 sm_msg("%s change %s (was %s)", in __set_sm_cur_stree()
325 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm_fake_stree()
327 sm_msg("%s change %s (was %s)", in __set_sm_fake_stree()
567 sm_msg("%s [%s] '%s'. Was %s. Now T:%s F:%s", __func__, in set_true_false_states()
[all …]
|
| H A D | check_passes_sizeof.c | 88 sm_msg("info: sizeof_param '%s' %d", name, i); in match_call()
90 sm_msg("info: sizeof_param '%s' %d %d", name, i, buf_nr); in match_call()
|
| H A D | check_bit_shift.c | 131 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_binop_info()
149 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_call()
|
| H A D | check_param_mapper.c | 59 sm_msg("info: param_mapper %d => %s %d", arg_num, func, i); in match_call()
|
| H A D | smatch_mtag_data.c | 224 sm_msg("Error saving mtag data"); in save_mtag_data()
231 sm_msg("SQL: insert into mtag_data values ('%s', '%s', '%s', '%s');", in save_mtag_data()
|
| H A D | check_expects_err_ptr.c | 80 sm_msg("info: expects ERR_PTR %d", arg_num); in match_is_err()
|
| H A D | smatch_impossible.c | 91 sm_msg("impossible return. return_id = %d return ranges = %s", return_id, return_ranges); in print_impossible_return()
|
| H A D | smatch_parse_call_math.c | 212 sm_msg("parsing %s", c); in parse_call_math_rl()
220 sm_msg("val = %s remaining = %s", show_rl(tmp), c); in parse_call_math_rl()
232 sm_msg("op = %c remaining = %s", *c, c); in parse_call_math_rl()
|
| H A D | check_spectre_second_half.c | 100 sm_msg("warn: possible spectre second half. '%s'", name); in match_done()
|
| H A D | smatch_implied.c | 177 sm_msg("fake_history: %s vs %s. %s %s %s. --> T: %s F: %s", in create_fake_history()
364 sm_msg("debug: %s: implications taking too long. (%s %s %s)", in __separate_pools()
404 sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
408 sm_msg("MAYBE %s %s[stree %d]", in separate_pools()
413 sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
|
| H A D | check_double_checking.c | 269 sm_msg("debug: odd... found an function without an end."); in match_func_end()
|
| H A D | check_unreachable.c | 59 sm_msg("info: '%s' is not actually initialized (unreached code).", in print_unreached_initializers()
|
| H A D | check_unwind.c | 69 sm_msg("info: is unwind function"); in print_unwind_functions()
|
| H A D | smatch_return_to_param.c | 110 sm_msg("%s: my_state: name = '%s' sm = '%s'", in map_long_to_short_name_sym()
|
| H A D | smatch_container_of.c | 580 sm_msg("%s: cur_tag = %llu container_offset = %d", in load_container_data()
586 sm_msg("%s: container_tag = %llu p = '%s'", in load_container_data()
|
| H A D | smatch_function_hooks.c | 598 sm_msg("impossible: %d '%s' limit '%s' == '%s'", param, key, show_rl(passed), value); in impossible_limit()
608 sm_msg("param_compare_limit_is_impossible: %d %s %s", param, key, value); in is_impossible_data()
999 sm_msg("%s return_id %d return_ranges %s", in db_return_states_assign()
|
| H A D | smatch_db.c | 129 sm_msg("%s", sql); in sql_exec()
270 sm_msg("SQL_caller_info: insert into caller_info values (" in sql_insert_caller_info()
360 sm_msg("SQL: insert or ignore into constraints (str) values('%s');", escape_newlines(con)); in sql_save_constraint()
373 sm_msg("SQL_late: insert or ignore into constraints_required (data, op, bound) " in sql_copy_constraint_required()
2372 sm_msg("SQL: %s", buf); in save_cache_data()
|
| H A D | smatch_slist.c | 82 sm_msg("dumping stree [%ld states]", stree_count(stree)); in __print_stree()
460 sm_msg("dynamic state: %s", show_sm(one)); in merge_sm_states()
|
| H A D | smatch_constraints.c | 322 sm_msg("constraint %d not found", con->id); in unmet_constraint()
|
| H A D | smatch_flow.c | 1608 sm_msg("func_time: %lu", stop.tv_sec - fn_start_time.tv_sec); in split_function()
1941 sm_msg("time: %lu", stop.tv_sec - start.tv_sec); in smatch()
1943 sm_msg("mem: %luKb", get_max_memory()); in smatch()
|
| H A D | smatch_conditions.c | 400 sm_msg("%d in split_conditions (%s)", get_lineno(), cond); in split_conditions()
|
| H A D | check_locking.c | 631 sm_msg("error: double %s '%s' (orig line %u)", in warn_on_double()
1064 sm_msg("warn: inconsistent returns '%s'.", name); in check_lock()
|
| H A D | smatch.h | 293 #define sm_msg(msg...) do { sm_print_msg(0, msg); } while (0) macro
305 sm_msg("%s", implied_debug_msg); in print_implied_debug_msg()
|