Searched defs:implied_true (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 731 struct stree **implied_true, in handle_comparison()
779 struct stree **implied_true, in handle_zero_comparison()
820 struct stree **implied_true, in handled_by_comparison_hook()
852 struct stree **implied_true, in handled_by_extra_states()
868 struct stree **implied_true, in handled_by_parsed_conditions()
893 struct stree **implied_true, in handled_by_stored_conditions()
922 static void separate_implication_states(struct stree **implied_true, in separate_implication_states()
947 struct stree **implied_true, in get_tf_states()
1018 struct stree *implied_true = NULL; in param_limit_implications() local
1181 struct stree *implied_true; in overwrite_states_using_pool() local
|
| H A D | smatch_function_hooks.c | 303 …nt comparison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct… in call_implies_callbacks()
736 …ct expression *left, int comparison, struct expression *right, struct stree *implied_true, struct … in compare_db_return_states_callbacks()
849 struct stree *implied_true = NULL; in function_comparison() local
|