Searched refs:implied_false (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 732 struct stree **implied_false) in handle_comparison() argument 780 struct stree **implied_false) in handle_zero_comparison() argument 821 struct stree **implied_false) in handled_by_comparison_hook() argument 853 struct stree **implied_false) in handled_by_extra_states() argument 869 struct stree **implied_false) in handled_by_parsed_conditions() argument 894 struct stree **implied_false) in handled_by_stored_conditions() argument 923 struct stree **implied_false, in separate_implication_states() argument 937 FOR_EACH_SM(*implied_false, sm) { in separate_implication_states() 948 struct stree **implied_false) in get_tf_states() argument 1019 struct stree *implied_false = NULL; in param_limit_implications() local [all …]
|
H A D | smatch_function_hooks.c | 303 …expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false) in call_implies_callbacks() argument 314 *implied_false = NULL; in call_implies_callbacks() 350 *implied_false = false_states; in call_implies_callbacks() 736 … int comparison, struct expression *right, struct stree *implied_true, struct stree *implied_false) in compare_db_return_states_callbacks() argument 840 FOR_EACH_SM(implied_false, sm) { in compare_db_return_states_callbacks() 850 struct stree *implied_false = NULL; in function_comparison() local 871 call_implies_callbacks(comparison, call_expr, sval, call_on_left, &implied_true, &implied_false); in function_comparison() 873 compare_db_return_states_callbacks(left, comparison, right, implied_true, implied_false); in function_comparison() 875 free_stree(&implied_false); in function_comparison()
|