Home
last modified time | relevance | path

Searched defs:implied_false (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c732 struct stree **implied_false) in handle_comparison()
780 struct stree **implied_false) in handle_zero_comparison()
821 struct stree **implied_false) in handled_by_comparison_hook()
853 struct stree **implied_false) in handled_by_extra_states()
869 struct stree **implied_false) in handled_by_parsed_conditions()
894 struct stree **implied_false) in handled_by_stored_conditions()
923 struct stree **implied_false, in separate_implication_states()
948 struct stree **implied_false) in get_tf_states()
1019 struct stree *implied_false = NULL; in param_limit_implications() local
H A Dsmatch_function_hooks.c303 …expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false) in call_implies_callbacks()
736 … int comparison, struct expression *right, struct stree *implied_true, struct stree *implied_false) in compare_db_return_states_callbacks()
850 struct stree *implied_false = NULL; in function_comparison() local