Searched refs:implied_true (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 779 struct stree **implied_true, in handle_zero_comparison() argument
852 struct stree **implied_true, in handled_by_extra_states() argument
868 struct stree **implied_true, in handled_by_parsed_conditions() argument
893 struct stree **implied_true, in handled_by_stored_conditions() argument
929 FOR_EACH_SM(*implied_true, sm) { in separate_implication_states()
947 struct stree **implied_true, in get_tf_states() argument
1065 FOR_EACH_SM(implied_true, tmp) { in param_limit_implications()
1082 free_stree(&implied_true); in param_limit_implications()
1181 struct stree *implied_true; in overwrite_states_using_pool() local
1197 FOR_EACH_SM(implied_true, tmp) { in overwrite_states_using_pool()
[all …]
|
| H A D | smatch_function_hooks.c | 303 …rison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree *… in call_implies_callbacks() argument
313 *implied_true = NULL; in call_implies_callbacks()
349 *implied_true = true_states; in call_implies_callbacks()
736 …ession *left, int comparison, struct expression *right, struct stree *implied_true, struct stree *… in compare_db_return_states_callbacks() argument
837 FOR_EACH_SM(implied_true, sm) { in compare_db_return_states_callbacks()
849 struct stree *implied_true = 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()
874 free_stree(&implied_true); in function_comparison()
|