Searched refs:unmatched_state (Results 1 - 14 of 14) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_template.c49 * unmatched_state() deals with the case where code is known to be
54 static struct smatch_state *unmatched_state(struct sm_state *sm) function
105 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dcheck_frees_param_strict.c33 static struct smatch_state *unmatched_state(struct sm_state *sm) function
161 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dcheck_missing_break.c109 static struct smatch_state *unmatched_state(struct sm_state *sm) function
181 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_param_filter.c62 static struct smatch_state *unmatched_state(struct sm_state *sm) function
210 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_param_limit.c65 static struct smatch_state *unmatched_state(struct sm_state *sm) function
203 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_capped.c41 static struct smatch_state *unmatched_state(struct sm_state *sm) function
337 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dcheck_deref.c54 static struct smatch_state *unmatched_state(struct sm_state *sm) function
285 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dcheck_free_strict.c45 static struct smatch_state *unmatched_state(struct sm_state *sm) function
361 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dcheck_nospec.c31 static struct smatch_state *unmatched_state(struct sm_state *sm) function
259 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_param_set.c42 static struct smatch_state *unmatched_state(struct sm_state *sm) function
336 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_bits.c89 static struct smatch_state *unmatched_state(struct sm_state *sm) function
439 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_buf_comparison.c42 static struct smatch_state *unmatched_state(struct sm_state *sm) function
804 add_unmatched_state_hook(size_id, &unmatched_state);
H A Dcheck_locking.c487 static struct smatch_state *unmatched_state(struct sm_state *sm) function
1274 add_unmatched_state_hook(my_id, &unmatched_state);
H A Dsmatch_extra.c919 static struct smatch_state *unmatched_state(struct sm_state *sm) function
2899 add_unmatched_state_hook(my_id, &unmatched_state);

Completed in 227 milliseconds