Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c70 void set_path_impossible(void) in set_path_impossible() function
84 set_path_impossible(); in match_case()
H A Dsmatch_function_hooks.c787 set_path_impossible(); in compare_db_return_states_callbacks()
813 set_path_impossible(); in compare_db_return_states_callbacks()
1015 set_path_impossible(); in db_return_states_assign()
H A Dsmatch.h233 void set_path_impossible(void);