Home
last modified time | relevance | path

Searched refs:sm_msg (Results 1 – 25 of 29) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_debug.c70 sm_msg("'%s' = '%s'", sm->name, sm->state->name); in match_state()
75 sm_msg("%s '%s' not found", check_arg->string->data, state_arg->string->data); in match_state()
92 sm_msg("invalid check name '%s'", check_arg->string->data); in match_states()
94 sm_msg("%s: no states", check_arg->string->data); in match_states()
112 sm_msg("%s = %s", tmp->name, tmp->state->name); in match_print_value()
131 …sm_msg("known: '%s' = '%s'. implied = '%s'", name, known ? sval_to_str(sval) : "<unknown>", show_… in match_print_known()
145 sm_msg("implied: %s = '%s'", name, show_rl(rl)); in match_print_implied()
159 sm_msg("real absolute: %s = '%s'", name, show_rl(rl)); in match_real_absolute()
173 sm_msg("implied min: %s = %s", name, sval_to_str(sval)); in match_print_implied_min()
175 sm_msg("implied min: %s = <unknown>", name); in match_print_implied_min()
[all …]
H A Dcheck_implicit_dependencies.c64 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 Dsmatch_states.c88 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 Dcheck_passes_sizeof.c88 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 Dcheck_bit_shift.c131 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 Dcheck_param_mapper.c59 sm_msg("info: param_mapper %d => %s %d", arg_num, func, i); in match_call()
H A Dsmatch_mtag_data.c224 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 Dcheck_expects_err_ptr.c80 sm_msg("info: expects ERR_PTR %d", arg_num); in match_is_err()
H A Dsmatch_parse_call_math.c212 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 Dsmatch_impossible.c91 sm_msg("impossible return. return_id = %d return ranges = %s", return_id, return_ranges); in print_impossible_return()
H A Dcheck_spectre_second_half.c100 sm_msg("warn: possible spectre second half. '%s'", name); in match_done()
H A Dsmatch_implied.c177 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 Dsmatch_return_to_param.c110 sm_msg("%s: my_state: name = '%s' sm = '%s'", in map_long_to_short_name_sym()
H A Dcheck_unreachable.c59 sm_msg("info: '%s' is not actually initialized (unreached code).", in print_unreached_initializers()
H A Dcheck_unwind.c69 sm_msg("info: is unwind function"); in print_unwind_functions()
H A Dcheck_double_checking.c269 sm_msg("debug: odd... found an function without an end."); in match_func_end()
H A Dsmatch_container_of.c580 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 Dsmatch_function_hooks.c598 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 Dsmatch_db.c129 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 Dsmatch_slist.c82 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 Dsmatch_constraints.c322 sm_msg("constraint %d not found", con->id); in unmet_constraint()
H A Dsmatch_flow.c1608 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 Dsmatch_conditions.c400 sm_msg("%d in split_conditions (%s)", get_lineno(), cond); in split_conditions()
H A Dcheck_locking.c631 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 Dsmatch.h293 #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()

12