usr/src/tools/smatch/src/smatch_extra.c

1559

left_true = rl_truncate_cast(get_type(strip_expr(left)), left_true);

usr/src/tools/smatch/src/smatch_extra.c

1560

left_false = rl_truncate_cast(get_type(strip_expr(left)), left_false);

usr/src/tools/smatch/src/smatch_extra.c

1561

right_true = rl_truncate_cast(get_type(strip_expr(right)), right_true);

usr/src/tools/smatch/src/smatch_extra.c

1562

right_false = rl_truncate_cast(get_type(strip_expr(right)), right_false);

usr/src/tools/smatch/src/smatch_extra.c

1568

tmp_true = rl_truncate_cast(get_type(strip_expr(left)), tmp_true);

usr/src/tools/smatch/src/smatch_extra.c

1569

tmp_false = rl_truncate_cast(get_type(strip_expr(left)), tmp_false);

usr/src/tools/smatch/src/smatch_extra.c

1578

tmp_true = rl_truncate_cast(get_type(strip_expr(right)), tmp_true);

usr/src/tools/smatch/src/smatch_extra.c

1579

tmp_false = rl_truncate_cast(get_type(strip_expr(right)), tmp_false);

usr/src/tools/smatch/src/smatch_extra.h

101

struct range_list *rl_truncate_cast(struct symbol *type, struct range_list *rl);

usr/src/tools/smatch/src/smatch_implied.c

157

true_rl = rl_truncate_cast(estate_type(sm->state), true_rl);

usr/src/tools/smatch/src/smatch_implied.c

158

false_rl = rl_truncate_cast(estate_type(sm->state), false_rl);