Home
last modified time | relevance | path

Searched refs:empty_state (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c39 static struct smatch_state *empty_state(struct sm_state *sm) in empty_state() function
80 add_unmatched_state_hook(my_id, &empty_state); in register_imaginary_absolute()
H A Dsmatch_real_absolute.c72 static struct smatch_state *empty_state(struct sm_state *sm) in empty_state() function
146 add_unmatched_state_hook(my_id, &empty_state); in register_real_absolute()
H A Dsmatch_kernel_user_data.c81 static struct smatch_state *empty_state(struct sm_state *sm) in empty_state() function
1497 add_unmatched_state_hook(my_id, &empty_state); in register_kernel_user_data()