Symbol: empty_state
usr/src/tools/smatch/src/smatch_imaginary_absolute.c
80
add_unmatched_state_hook(my_id, &empty_state);
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1497
add_unmatched_state_hook(my_id, &empty_state);
usr/src/tools/smatch/src/smatch_real_absolute.c
146
add_unmatched_state_hook(my_id, &empty_state);