Home
last modified time | relevance | path

Searched refs:set_implied_states (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c371 static void set_implied_states(struct db_callback_info *db_info) in set_implied_states() function
670 set_implied_states(db_info); in db_compare_callback()
779 set_implied_states(&db_info); in compare_db_return_states_callbacks()
805 set_implied_states(&db_info); in compare_db_return_states_callbacks()
930 set_implied_states(db_info); in db_assign_return_states_callback()
1007 set_implied_states(&db_info); in db_return_states_assign()
1119 set_implied_states(db_info); in db_return_states_callback()
1195 set_implied_states(&db_info); in db_return_states()
H A Dsmatch_implied.c974 static void set_implied_states(struct expression *expr) in set_implied_states() function
1007 set_implied_states(NULL); in set_extra_implied_states()
1247 add_hook(&set_implied_states, CONDITION_HOOK); in register_implications()