Home
last modified time | relevance | path

Searched refs:cond_false (Results 1 – 19 of 19) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_strings.c94 return get_strings(expr->cond_false); in get_strings()
97 false_strings = get_strings(expr->cond_false); in get_strings()
H A Dsmatch_conditions.c296 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 Devaluate.c1163 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 Dinline.c185 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 Dsmatch_recurse.c86 ret = recurse(expr->cond_false, func, param, nr); in recurse()
H A Dexpression.h208 struct expression *conditional, *cond_true, *cond_false; member
H A Dcheck_leaks.c167 set_parent(expr->cond_false, state); in set_parent()
H A Dsmatch_helper.c368 __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 Dsmatch_flow.c508 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 Dsmatch_math.c872 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 Ddissect.c350 ret = do_expression(mode, expr->cond_false); in do_expression()
H A Dsmatch_type.c214 two = get_type(expr->cond_false); in get_select_type()
H A Dlinearize.c1600 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 Dexpression.c870 token = conditional_expression(token, &expr->cond_false); in conditional_expression()
H A Dcompile-i386.c1573 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 Dshow-parse.c1038 int valf = show_expression(expr->cond_false); in show_conditional_expr()
H A Dcheck_kernel_printf.c1010 do_check_printf_call(caller, name, callexpr, fmtexpr->cond_false, vaidx); in do_check_printf_call()
H A Dexpand.c557 struct expression *valf = expr->cond_false; in expand_conditional()
H A Dsmatch_db.c1504 call_return_state_hooks(expr->cond_false); in call_return_state_hooks_conditional()