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

80

return alloc_estate_sval(sval);

usr/src/tools/smatch/src/smatch_conditions.c

577

set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 1)));

usr/src/tools/smatch/src/smatch_conditions.c

593

set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 0)));

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

544

set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval));

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

1533

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval));

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

1547

set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval));

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

1050

set_state(SMATCH_EXTRA, name, sym, alloc_estate_sval(sval_cast(type, sval)));

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

1110

state = alloc_estate_sval(sval_cast(left_type, sval));

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

1120

state = alloc_estate_sval(sval);

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

857

set_extra_mod(sm->name, sm->sym, condition->unop, alloc_estate_sval(after_value));

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

891

state = alloc_estate_sval(limit);

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

122

struct smatch_state *alloc_estate_sval(sval_t sval);

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

43

return alloc_estate_sval(sval);