| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_conditions.c | 286 split_conditions(expr->cond_true); in handle_select()
305 if (implied_condition_true(expr->cond_true)) { in handle_select()
311 if (implied_condition_false(expr->cond_true)) { in handle_select()
455 expr_set_parent_expr(expr->cond_true, expr); in split_conditions()
651 if (right->cond_true) in __handle_select_assigns()
652 fake_expr = assign_expression(expr->left, expr->op, right->cond_true); in __handle_select_assigns()
|
| H A D | smatch_strings.c | 92 return get_strings(expr->cond_true); in get_strings()
96 true_strings = get_strings(expr->cond_true); in get_strings()
|
| H A D | check_select.c | 25 if (expr->cond_true) in match_select()
|
| H A D | smatch_helper.c | 365 if (expr->cond_true) in __get_variable_from_expr()
366 __get_variable_from_expr(NULL, buf, expr->cond_true, len, complicated); in __get_variable_from_expr()
778 if (expr->cond_true) { in strip_expr_helper()
780 expr_set_parent_expr(expr->cond_true, expr); in strip_expr_helper()
781 return strip_expr_helper(expr->cond_true, set_parent); in strip_expr_helper()
|
| H A D | smatch_math.c | 860 struct expression *cond_true; in handle_conditional_rl() local
865 cond_true = expr->cond_true; in handle_conditional_rl()
866 if (!cond_true) in handle_conditional_rl()
867 cond_true = expr->conditional; in handle_conditional_rl()
870 return get_rl_sval(cond_true, implied, recurse_cnt, res, res_sval); in handle_conditional_rl()
878 return get_rl_sval(cond_true, implied, recurse_cnt, res, res_sval); in handle_conditional_rl()
892 get_rl_internal(cond_true, implied, recurse_cnt, &true_rl); in handle_conditional_rl()
|
| H A D | inline.c | 184 struct expression *valt = copy_expression(expr->cond_true); in copy_expression()
186 if (cond == expr->conditional && valt == expr->cond_true && valf == expr->cond_false) in copy_expression()
190 expr->cond_true = valt; in copy_expression()
|
| H A D | expression.h | 208 struct expression *conditional, *cond_true, *cond_false; member
|
| H A D | smatch_recurse.c | 83 ret = recurse(expr->cond_true, func, param, nr); in recurse()
|
| H A D | check_leaks.c | 166 set_parent(expr->cond_true, state); in set_parent()
|
| H A D | dissect.c | 346 do_expression(expr->cond_true in do_expression()
349 ret = do_expression(mode, expr->cond_true); in do_expression()
|
| H A D | smatch_flow.c | 507 expr_set_parent_expr(expr->cond_true, expr); in __split_expr()
511 __split_expr(expr->cond_true); in __split_expr()
520 __split_expr(expr->cond_true); in __split_expr()
|
| H A D | linearize.c | 1599 valt = linearize_expression(ep, expr->cond_true); in linearize_select()
1604 if (!expr->cond_true) in linearize_select()
1907 if (!expr->cond_true) in linearize_expression()
1911 expr->cond_true, expr->cond_false); in linearize_expression()
|
| H A D | smatch_type.c | 213 one = get_type(expr->cond_true); in get_select_type()
|
| H A D | evaluate.c | 1171 if (expr->cond_true) { in evaluate_conditional_expression()
1172 if (!evaluate_expression(expr->cond_true)) in evaluate_conditional_expression()
1174 ltype = degenerate(expr->cond_true); in evaluate_conditional_expression()
1175 cond = &expr->cond_true; in evaluate_conditional_expression()
|
| H A D | expression.c | 868 token = parse_expression(token->next, &expr->cond_true); in conditional_expression()
|
| H A D | compile-i386.c | 1566 stot = x86_expression(expr->cond_true); in emit_conditional_expr()
1586 struct storage *stot = x86_expression(expr->cond_true); in emit_select_expr()
|
| H A D | show-parse.c | 1037 int valt = show_expression(expr->cond_true); in show_conditional_expr()
|
| H A D | check_kernel_printf.c | 1009 do_check_printf_call(caller, name, callexpr, fmtexpr->cond_true ? : fmtexpr->conditional, vaidx); in do_check_printf_call()
|
| H A D | expand.c | 556 struct expression *valt = expr->cond_true; in expand_conditional()
|
| H A D | smatch_db.c | 1499 call_return_state_hooks(expr->cond_true ?: expr->conditional); in call_return_state_hooks_conditional()
|