Home
last modified time | relevance | path

Searched refs:unmatched_state (Results 1 – 15 of 15) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_template.c54 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
105 add_unmatched_state_hook(my_id, &unmatched_state); in check_template()
H A Dcheck_frees_param_strict.c33 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
161 add_unmatched_state_hook(my_id, &unmatched_state); in check_frees_param_strict()
H A Dcheck_missing_break.c109 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
181 add_unmatched_state_hook(my_id, &unmatched_state); in check_missing_break()
H A Dsmatch_param_limit.c65 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
203 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_limit()
H A Dsmatch_param_filter.c62 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
210 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_filter()
H A Dcheck_nospec.c31 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
259 add_unmatched_state_hook(my_id, &unmatched_state); in check_nospec()
H A Dcheck_deref.c54 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
285 add_unmatched_state_hook(my_id, &unmatched_state); in check_deref()
H A Dsmatch_param_set.c42 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
336 add_unmatched_state_hook(my_id, &unmatched_state); in register_param_set()
H A Dcheck_free_strict.c45 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
361 add_unmatched_state_hook(my_id, &unmatched_state); in check_free_strict()
H A Dsmatch_capped.c41 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
339 add_unmatched_state_hook(my_id, &unmatched_state); in register_capped()
H A Dcheck_atomic_inc_dec.c30 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
434 add_unmatched_state_hook(my_id, &unmatched_state); in check_atomic_inc_dec()
H A Dsmatch_bits.c89 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
466 add_unmatched_state_hook(my_id, &unmatched_state); in register_bits()
H A Dsmatch_buf_comparison.c42 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
804 add_unmatched_state_hook(size_id, &unmatched_state); in register_buf_comparison()
H A Dcheck_locking.c487 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
1274 add_unmatched_state_hook(my_id, &unmatched_state); in check_locking()
H A Dsmatch_extra.c923 static struct smatch_state *unmatched_state(struct sm_state *sm) in unmatched_state() function
2897 add_unmatched_state_hook(my_id, &unmatched_state); in register_smatch_extra()