usr/src/tools/smatch/src/check_atomic_inc_dec.c

328

sval_t line = sval_type_val(&int_ctype, 0);

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

217

min = sval_type_val(type, 0);

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

218

max = sval_type_val(type, sizeof(long long) * 8);

usr/src/tools/smatch/src/check_locking.c

999

sval_t line = sval_type_val(&int_ctype, 0);

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

1150

sval_t sval_type_val(struct symbol *type, long long val);

usr/src/tools/smatch/src/smatch_annotate.c

34

*res = alloc_rl(sval_type_val(rl_type(rl), 0), rl_max(rl));

usr/src/tools/smatch/src/smatch_common_functions.c

35

*rl = alloc_rl(sval_type_val(&ulong_ctype, 0),

usr/src/tools/smatch/src/smatch_common_functions.c

36

sval_type_val(&ulong_ctype, STRLEN_MAX_RET));

usr/src/tools/smatch/src/smatch_common_functions.c

39

*rl = alloc_rl(sval_type_val(&ulong_ctype, 0),

usr/src/tools/smatch/src/smatch_common_functions.c

40

sval_type_val(&ulong_ctype, max));

usr/src/tools/smatch/src/smatch_common_functions.c

50

sval_t ulong_max = sval_type_val(&ulong_ctype, ULONG_MAX);

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_db.c

1813

null_sval = sval_type_val(rl_type(rl), 0);

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

1909

zero_sval = sval_type_val(rl_type(rl), 0);

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

2093

true_rl = remove_range(orig_rl, sval_type_val(known.type, 0), low_mask);

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

2102

false_rl = remove_range(false_rl, sval_type_min(known.type), sval_type_val(known.type, -1));

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

2106

sval_type_val(rl_type(false_rl), sval_type_max(known.type).uvalue),

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

2107

sval_type_val(rl_type(false_rl), -1));

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

2243

sval_type_val(offset_type, -1));

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

2249

size = sval_type_val(offset_type, array_size);

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

2275

if (!rl_has_sval(estate_rl(estate), sval_type_val(estate_type(estate), 0)))

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

879

sval_type_val(estate_type(sm->state), 1));

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

882

sval_type_val(estate_type(sm->state), 1));

usr/src/tools/smatch/src/smatch_math.c

406

min = sval_type_val(type, 1);

usr/src/tools/smatch/src/smatch_math.c

411

min = sval_type_val(type, 0);

usr/src/tools/smatch/src/smatch_math.c

415

min = sval_type_val(type, 0);

usr/src/tools/smatch/src/smatch_math.c

416

max = sval_type_val(type, 0);

usr/src/tools/smatch/src/smatch_math.c

420

max = sval_type_val(type, -1);

usr/src/tools/smatch/src/smatch_math.c

424

max = sval_type_val(type, 0);

usr/src/tools/smatch/src/smatch_math.c

545

min = sval_type_val(get_type(expr->left), 0);

usr/src/tools/smatch/src/smatch_ranges.c

184

add_range(rl, sval_type_val(type, 0), sval_cast(type, max));

usr/src/tools/smatch/src/smatch_ranges.c

449

ret = sval_type_val(type, ULLONG_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

452

ret = sval_type_val(type, LLONG_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

455

ret = sval_type_val(type, UINT_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

458

ret = sval_type_val(type, INT_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

461

ret = sval_type_val(type, USHRT_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

464

ret = sval_type_val(type, SHRT_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

470

ret = sval_type_val(type, LLONG_MIN);

usr/src/tools/smatch/src/smatch_ranges.c

473

ret = sval_type_val(type, INT_MIN);

usr/src/tools/smatch/src/smatch_ranges.c

476

ret = sval_type_val(type, SHRT_MIN);

usr/src/tools/smatch/src/smatch_ranges.c

479

ret = sval_type_val(type, LONG_MIN);

usr/src/tools/smatch/src/smatch_ranges.c

482

ret = sval_type_val(type, LONG_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

485

ret = sval_type_val(type, ULONG_MAX);

usr/src/tools/smatch/src/smatch_ranges.c

488

ret = sval_type_val(type, valid_ptr_max);

usr/src/tools/smatch/src/smatch_ranges.c

494

ret = sval_type_val(type, strtoull(start, (char **)&c, 0));

usr/src/tools/smatch/src/smatch_ranges.c

496

ret = sval_type_val(type, strtoll(start, (char **)&c, 0));

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

229

sval = sval_type_val(&int_ctype, len - 1);

usr/src/tools/smatch/src/smatch_sval.c

280

sval = sval_type_val(&llong_ctype, val);