usr/src/tools/smatch/src/check_kernel.c

120

end_state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/check_kernel.c

137

set_extra_expr_nomod(arg, alloc_estate_rl(rl));

usr/src/tools/smatch/src/check_kernel.c

162

set_extra_expr_nomod(arg, alloc_estate_rl(rl));

usr/src/tools/smatch/src/check_kernel.c

77

set_state(SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_rl(after));

usr/src/tools/smatch/src/check_kernel.c

98

end_state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_buf_size.c

122

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_buf_size.c

282

set_state_expr(my_size_id, expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_buf_size.c

646

set_state_expr(my_size_id, expr, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_container_of.c

457

set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_db.c

1619

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_db.c

1719

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl));

usr/src/tools/smatch/src/smatch_db.c

1731

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl));

usr/src/tools/smatch/src/smatch_db.c

1744

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl));

usr/src/tools/smatch/src/smatch_db.c

1802

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonnull_rl));

usr/src/tools/smatch/src/smatch_db.c

1815

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(null_rl));

usr/src/tools/smatch/src/smatch_db.c

1898

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonzero_rl));

usr/src/tools/smatch/src/smatch_db.c

1911

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(zero_rl));

usr/src/tools/smatch/src/smatch_db.c

2012

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl));

usr/src/tools/smatch/src/smatch_db.c

2159

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl));

usr/src/tools/smatch/src/smatch_equiv.c

218

right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_estate.c

352

ret = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_estate.c

376

return alloc_estate_rl(alloc_whole_rl(type));

usr/src/tools/smatch/src/smatch_estate.c

43

tmp = alloc_estate_rl(value_ranges);

usr/src/tools/smatch/src/smatch_estate.c

452

return alloc_estate_rl(rl);

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

1066

set_extra_array_mod(left, alloc_estate_rl(rl));

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

1131

state = alloc_estate_rl(alloc_whole_rl(left_type));

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

1145

state = alloc_estate_rl(rl);

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

1155

state = alloc_estate_rl(rl);

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

1224

set_extra_mod(name, sym, left, alloc_estate_rl(rl));

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

1351

set_extra_expr_nomod(expr, alloc_estate_rl(rl));

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

1360

set_extra_expr_nomod(expr, alloc_estate_rl(rl));

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

1407

new = alloc_estate_rl(rl);

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

1584

left_true_state = alloc_estate_rl(left_true);

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

1585

left_false_state = alloc_estate_rl(left_false);

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

1586

right_true_state = alloc_estate_rl(right_true);

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

1587

right_false_state = alloc_estate_rl(right_false);

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

161

new = alloc_estate_rl(cast_rl(new_type, estate_rl(state)));

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

2073

set_extra_expr_true_false(shift->right, alloc_estate_rl(rl), NULL);

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

2116

true_rl ? alloc_estate_rl(true_rl) : NULL,

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

2117

false_rl ? alloc_estate_rl(false_rl) : NULL);

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

2192

true_rl ? alloc_estate_rl(true_rl) : NULL,

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

2193

false_rl ? alloc_estate_rl(false_rl) : NULL);

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

2259

set_extra_expr_nomod(offset, alloc_estate_rl(rl_after));

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

2572

set_extra_expr_nomod(arg->left, alloc_estate_rl(left_rl));

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

2632

set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(new));

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

2634

set_extra_mod(name, sym, NULL, alloc_estate_rl(new));

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

2638

set_extra_nomod_vsl(other_name, other_sym, vsl, NULL, alloc_estate_rl(new));

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

2640

set_extra_mod(other_name, other_sym, NULL, alloc_estate_rl(new));

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

2700

set_extra_mod(name, sym, gen_expr, alloc_estate_rl(new));

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

2702

set_extra_mod(other_name, other_sym, gen_expr, alloc_estate_rl(new));

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

2764

set_extra_mod(name, sym, NULL, alloc_estate_rl(rl));

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

2818

state = alloc_estate_rl(rl);

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

936

return alloc_estate_rl(rl);

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

124

struct smatch_state *alloc_estate_rl(struct range_list *rl);

usr/src/tools/smatch/src/smatch_function_hooks.c

1034

set_extra_expr_mod(expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

1093

set_extra_expr_mod(expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

1161

state = alloc_estate_rl(ret_range);

usr/src/tools/smatch/src/smatch_function_hooks.c

284

estate = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_function_hooks.c

468

set_extra_expr_nomod(expr, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

483

state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));

usr/src/tools/smatch/src/smatch_function_hooks.c

503

state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));

usr/src/tools/smatch/src/smatch_function_hooks.c

519

state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));

usr/src/tools/smatch/src/smatch_function_hooks.c

544

set_extra_expr_nomod(arg, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

725

store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl)));

usr/src/tools/smatch/src/smatch_function_hooks.c

967

store_return_state(db_info, ret_str, alloc_estate_rl(ret_range));

usr/src/tools/smatch/src/smatch_imaginary_absolute.c

58

set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl));

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

1118

set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

116

new = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1196

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1252

set_state(my_id, buf, NULL, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1270

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

598

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

643

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

764

capped_state = alloc_estate_rl(user_rl);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

97

state = alloc_estate_rl(clone_rl(rl));

usr/src/tools/smatch/src/smatch_mtag.c

165

return alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_param_filter.c

90

set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_param_limit.c

100

return alloc_estate_rl(alloc_whole_rl(type));

usr/src/tools/smatch/src/smatch_param_limit.c

86

return alloc_estate_rl(alloc_whole_rl(get_real_base_type(sym)));

usr/src/tools/smatch/src/smatch_param_set.c

128

set_state(my_id, buf, sym, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_real_absolute.c

127

set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_real_absolute.c

53

set_state(my_id, name, sym, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_real_absolute.c

69

set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_strlen.c

305

state = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_strlen.c

69

set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl)));

usr/src/tools/smatch/src/smatch_type_val.c

133

add = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_type_val.c

151

add = alloc_estate_rl(rl);

usr/src/tools/smatch/src/smatch_type_val.c

170

add = alloc_estate_rl(rl);