/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_strings.c | 94 return get_strings(expr->cond_false); in get_strings() 97 false_strings = get_strings(expr->cond_false); in get_strings()
|
H A D | smatch_conditions.c | 296 split_conditions(expr->cond_false); in handle_select() 317 if (implied_condition_true(expr->cond_false)) { in handle_select() 323 if (implied_condition_false(expr->cond_false)) { in handle_select() 456 expr_set_parent_expr(expr->cond_false, expr); in split_conditions() 663 fake_expr = assign_expression(expr->left, expr->op, right->cond_false); in __handle_select_assigns()
|
H A D | evaluate.c | 1163 if (!evaluate_expression(expr->cond_false)) in evaluate_conditional_expression() 1167 rtype = degenerate(expr->cond_false); in evaluate_conditional_expression() 1179 expr->cond_false->flags & ~CEF_CONST_MASK); in evaluate_conditional_expression() 1194 expr->flags = (*cond)->flags & expr->cond_false->flags & ~CEF_CONST_MASK; in evaluate_conditional_expression() 1199 ctype = usual_conversions('?', *cond, expr->cond_false, in evaluate_conditional_expression() 1202 expr->cond_false = cast_to(expr->cond_false, ctype); in evaluate_conditional_expression() 1208 int is_null2 = is_null_pointer_constant(expr->cond_false); in evaluate_conditional_expression() 1212 expr->cond_false = cast_to(expr->cond_false, &ptr_ctype); in evaluate_conditional_expression() 1225 bad_null(expr->cond_false); in evaluate_conditional_expression() 1226 expr->cond_false = cast_to(expr->cond_false, ltype); in evaluate_conditional_expression() [all …]
|
H A D | inline.c | 185 struct expression *valf = copy_expression(expr->cond_false); in copy_expression() 186 if (cond == expr->conditional && valt == expr->cond_true && valf == expr->cond_false) in copy_expression() 191 expr->cond_false = valf; in copy_expression()
|
H A D | smatch_recurse.c | 86 ret = recurse(expr->cond_false, func, param, nr); in recurse()
|
H A D | expression.h | 208 struct expression *conditional, *cond_true, *cond_false; member
|
H A D | check_leaks.c | 167 set_parent(expr->cond_false, state); in set_parent()
|
H A D | smatch_helper.c | 368 __get_variable_from_expr(NULL, buf, expr->cond_false, len, complicated); in __get_variable_from_expr() 789 expr_set_parent_expr(expr->cond_false, expr); in strip_expr_helper() 790 return strip_expr_helper(expr->cond_false, set_parent); in strip_expr_helper()
|
H A D | smatch_flow.c | 508 expr_set_parent_expr(expr->cond_false, expr); in __split_expr() 515 __split_expr(expr->cond_false); in __split_expr() 523 __split_expr(expr->cond_false); in __split_expr()
|
H A D | smatch_math.c | 872 return get_rl_sval(expr->cond_false, implied, recurse_cnt, res, res_sval); in handle_conditional_rl() 880 return get_rl_sval(expr->cond_false, implied, recurse_cnt, res, res_sval); in handle_conditional_rl() 896 get_rl_internal(expr->cond_false, implied, recurse_cnt, &false_rl); in handle_conditional_rl()
|
H A D | dissect.c | 350 ret = do_expression(mode, expr->cond_false); in do_expression()
|
H A D | smatch_type.c | 214 two = get_type(expr->cond_false); in get_select_type()
|
H A D | linearize.c | 1600 valf = linearize_expression(ep, expr->cond_false); in linearize_select() 1908 return linearize_short_conditional(ep, expr, expr->conditional, expr->cond_false); in linearize_expression() 1911 expr->cond_true, expr->cond_false); in linearize_expression()
|
H A D | expression.c | 870 token = conditional_expression(token, &expr->cond_false); in conditional_expression()
|
H A D | compile-i386.c | 1573 stof = x86_expression(expr->cond_false); in emit_conditional_expr() 1587 struct storage *stof = x86_expression(expr->cond_false); in emit_select_expr()
|
H A D | show-parse.c | 1038 int valf = show_expression(expr->cond_false); in show_conditional_expr()
|
H A D | check_kernel_printf.c | 1010 do_check_printf_call(caller, name, callexpr, fmtexpr->cond_false, vaidx); in do_check_printf_call()
|
H A D | expand.c | 557 struct expression *valf = expr->cond_false; in expand_conditional()
|
H A D | smatch_db.c | 1504 call_return_state_hooks(expr->cond_false); in call_return_state_hooks_conditional()
|