Searched refs:add_unmatched_state_hook (Results 1 – 23 of 23) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_imaginary_absolute.c | 80 add_unmatched_state_hook(my_id, &empty_state); in register_imaginary_absolute()
|
| H A D | check_template.c | 105 add_unmatched_state_hook(my_id, &unmatched_state); in check_template()
|
| H A D | smatch_real_absolute.c | 146 add_unmatched_state_hook(my_id, &empty_state); in register_real_absolute()
|
| H A D | check_frees_param_strict.c | 161 add_unmatched_state_hook(my_id, &unmatched_state); in check_frees_param_strict()
|
| H A D | check_missing_break.c | 181 add_unmatched_state_hook(my_id, &unmatched_state); in check_missing_break()
|
| H A D | smatch_param_limit.c | 203 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_limit()
|
| H A D | smatch_param_filter.c | 210 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_filter()
|
| H A D | check_nospec.c | 259 add_unmatched_state_hook(my_id, &unmatched_state); in check_nospec()
|
| H A D | check_deref.c | 285 add_unmatched_state_hook(my_id, &unmatched_state); in check_deref()
|
| H A D | smatch_hooks.c | 113 void add_unmatched_state_hook(int client_id, unmatched_func_t *func) in add_unmatched_state_hook() function
|
| H A D | smatch_param_set.c | 336 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_set()
|
| H A D | check_free_strict.c | 361 add_unmatched_state_hook(my_id, &unmatched_state); in check_free_strict()
|
| H A D | smatch_capped.c | 339 add_unmatched_state_hook(my_id, &unmatched_state); in register_capped()
|
| H A D | smatch_strlen.c | 338 add_unmatched_state_hook(my_strlen_id, &unmatched_strlen_state); in register_strlen()
|
| H A D | check_atomic_inc_dec.c | 434 add_unmatched_state_hook(my_id, &unmatched_state); in check_atomic_inc_dec()
|
| H A D | smatch_bits.c | 466 add_unmatched_state_hook(my_id, &unmatched_state); in register_bits()
|
| H A D | smatch_buf_comparison.c | 804 add_unmatched_state_hook(size_id, &unmatched_state); in register_buf_comparison()
|
| H A D | smatch_buf_size.c | 919 add_unmatched_state_hook(my_size_id, &unmatched_size_state); in register_buf_size()
|
| H A D | smatch_kernel_user_data.c | 1497 add_unmatched_state_hook(my_id, &empty_state); in register_kernel_user_data()
|
| H A D | check_locking.c | 1274 add_unmatched_state_hook(my_id, &unmatched_state); in check_locking()
|
| H A D | smatch.h | 169 void add_unmatched_state_hook(int client_id, unmatched_func_t *func);
|
| H A D | smatch_comparison.c | 2604 add_unmatched_state_hook(comparison_id, unmatched_comparison); in register_comparison()
|
| H A D | smatch_extra.c | 2897 add_unmatched_state_hook(my_id, &unmatched_state); in register_smatch_extra()
|