usr/src/tools/smatch/src/check_64bit_shift.c

57

sval_t sval;

usr/src/tools/smatch/src/check_64bit_shift.c

58

sval_t bits, shifter;

usr/src/tools/smatch/src/check_access_ok_math.c

24

sval_t max;

usr/src/tools/smatch/src/check_allocating_enough_data.c

25

sval_t sval;

usr/src/tools/smatch/src/check_allocation_funcs.c

63

sval_t tmp;

usr/src/tools/smatch/src/check_arm64_tagged.c

132

int rl_is_larger_or_equal(struct range_list *rl, sval_t sval)

usr/src/tools/smatch/src/check_arm64_tagged.c

143

int rl_range_has_min_value(struct range_list *rl, sval_t sval)

usr/src/tools/smatch/src/check_arm64_tagged.c

157

sval_t invalid;

usr/src/tools/smatch/src/check_arm64_tagged.c

158

sval_t invalid_kernel;

usr/src/tools/smatch/src/check_assign_vs_compare.c

24

sval_t val;

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

219

sval_t sval;

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

118

sval_t sval;

usr/src/tools/smatch/src/check_bit_shift.c

138

sval_t sval;

usr/src/tools/smatch/src/check_bit_shift.c

35

sval_t expr_value;

usr/src/tools/smatch/src/check_bogus_irqrestore.c

25

sval_t tmp;

usr/src/tools/smatch/src/check_bogus_loop.c

25

sval_t dummy;

usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c

28

sval_t min_size;

usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c

72

sval_t min_size;

usr/src/tools/smatch/src/check_capable.c

29

sval_t sval;

usr/src/tools/smatch/src/check_capable.c

42

sval_t sval;

usr/src/tools/smatch/src/check_cmn_err.c

35

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

122

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

166

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

183

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

232

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

249

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

281

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

298

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

312

sval_t sval;

usr/src/tools/smatch/src/check_debug.c

394

sval_t sval;

usr/src/tools/smatch/src/check_deref.c

228

sval_t sval;

usr/src/tools/smatch/src/check_dma_mapping_error.c

56

sval_t min;

usr/src/tools/smatch/src/check_double_checking.c

170

sval_t dummy;

usr/src/tools/smatch/src/check_err_ptr.c

44

sval_t sval;

usr/src/tools/smatch/src/check_err_ptr_deref.c

176

sval_t sval;

usr/src/tools/smatch/src/check_err_ptr_deref.c

191

sval_t tmp_min;

usr/src/tools/smatch/src/check_err_ptr_deref.c

192

sval_t tmp_max;

usr/src/tools/smatch/src/check_err_ptr_deref.c

193

sval_t min = sval_type_max(&llong_ctype);

usr/src/tools/smatch/src/check_err_ptr_deref.c

194

sval_t max = sval_type_min(&llong_ctype);

usr/src/tools/smatch/src/check_err_ptr_deref.c

27

static sval_t err_ptr_min = {

usr/src/tools/smatch/src/check_err_ptr_deref.c

32

static sval_t err_ptr_max = {

usr/src/tools/smatch/src/check_free_strict.c

48

sval_t sval;

usr/src/tools/smatch/src/check_freeing_null.c

26

sval_t sval;

usr/src/tools/smatch/src/check_get_user_overflow.c

122

sval_t max;

usr/src/tools/smatch/src/check_get_user_overflow.c

123

sval_t sval;

usr/src/tools/smatch/src/check_gfp_dma.c

33

sval_t sval;

usr/src/tools/smatch/src/check_impossible_mask.c

25

sval_t sval;

usr/src/tools/smatch/src/check_impossible_mask.c

66

sval_t sval;

usr/src/tools/smatch/src/check_impossible_mask.c

82

sval_t sval;

usr/src/tools/smatch/src/check_index_overflow.c

105

static int common_false_positives(struct expression *array, sval_t max)

usr/src/tools/smatch/src/check_index_overflow.c

209

sval_t hard_max = { .type = &int_ctype, };

usr/src/tools/smatch/src/check_index_overflow.c

210

sval_t fuzzy_max = { .type = &int_ctype, };

usr/src/tools/smatch/src/check_index_overflow.c

213

sval_t max;

usr/src/tools/smatch/src/check_index_overflow.c

267

sval_t hard_max = { .type = &int_ctype, };

usr/src/tools/smatch/src/check_index_overflow.c

268

sval_t fuzzy_max = { .type = &int_ctype, };

usr/src/tools/smatch/src/check_index_overflow.c

272

sval_t max;

usr/src/tools/smatch/src/check_index_overflow.c

30

sval_t sval;

usr/src/tools/smatch/src/check_index_overflow.c

47

static int fake_get_hard_max(struct expression *expr, sval_t *sval)

usr/src/tools/smatch/src/check_index_overflow.c

69

static int get_the_max(struct expression *expr, sval_t *sval)

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

210

sval_t min, max, tmp;

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

236

sval_t zero = {};

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

237

sval_t start, end, sval;

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

26

static sval_t err_ptr_min;

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

27

static sval_t err_ptr_max;

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

28

static sval_t null_ptr;

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

47

sval_t low_error;

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

48

sval_t minus_one;

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

49

sval_t zero;

usr/src/tools/smatch/src/check_kmalloc_wrong_size.c

37

sval_t sval;

usr/src/tools/smatch/src/check_leaks.c

194

sval_t sval;

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

934

sval_t sval;

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

999

sval_t line = sval_type_val(&int_ctype, 0);

usr/src/tools/smatch/src/check_logical_instead_of_bitwise.c

36

sval_t sval;

usr/src/tools/smatch/src/check_memcpy_overflow.c

197

sval_t sval;

usr/src/tools/smatch/src/check_memcpy_overflow.c

242

sval_t needed;

usr/src/tools/smatch/src/check_memcpy_overflow.c

33

static int get_the_max(struct expression *expr, sval_t *sval)

usr/src/tools/smatch/src/check_memcpy_overflow.c

97

sval_t mult;

usr/src/tools/smatch/src/check_memset.c

24

sval_t sval;

usr/src/tools/smatch/src/check_min_t.c

25

sval_t max_left, max_right;

usr/src/tools/smatch/src/check_mod_timer.c

26

sval_t sval;

usr/src/tools/smatch/src/check_off_by_one_relative.c

64

sval_t max;

usr/src/tools/smatch/src/check_or_vs_and.c

143

sval_t sval;

usr/src/tools/smatch/src/check_or_vs_and.c

168

sval_t left, right, sval;

usr/src/tools/smatch/src/check_or_vs_and.c

44

sval_t sval;

usr/src/tools/smatch/src/check_pointer_math.c

86

sval_t max;

usr/src/tools/smatch/src/check_precedence.c

37

sval_t sval;

usr/src/tools/smatch/src/check_proc_create.c

35

sval_t sval;

usr/src/tools/smatch/src/check_return_cast.c

29

sval_t sval;

usr/src/tools/smatch/src/check_return_efault.c

65

sval_t min;

usr/src/tools/smatch/src/check_return_enomem.c

33

sval_t sval;

usr/src/tools/smatch/src/check_shift_to_zero.c

25

sval_t bits;

usr/src/tools/smatch/src/check_shift_to_zero.c

47

sval_t mask, shift;

usr/src/tools/smatch/src/check_shift_to_zero.c

73

sval_t bits;

usr/src/tools/smatch/src/check_signed.c

143

sval_t known;

usr/src/tools/smatch/src/check_signed.c

203

sval_t known;

usr/src/tools/smatch/src/check_signed.c

215

sval_t known;

usr/src/tools/smatch/src/check_signed.c

233

sval_t known;

usr/src/tools/smatch/src/check_signed.c

234

sval_t min, max;

usr/src/tools/smatch/src/check_signed.c

37

sval_t sval;

usr/src/tools/smatch/src/check_signed.c

38

sval_t max;

usr/src/tools/smatch/src/check_signed.c

39

sval_t min;

usr/src/tools/smatch/src/check_signed.c

95

sval_t known;

usr/src/tools/smatch/src/check_signed_integer_overflow_check.c

69

sval_t left_val, right_min;

usr/src/tools/smatch/src/check_sizeof.c

25

sval_t sval;

usr/src/tools/smatch/src/check_snprintf.c

33

sval_t buflen;

usr/src/tools/smatch/src/check_snprintf.c

59

sval_t max;

usr/src/tools/smatch/src/check_snprintf_overflow.c

28

sval_t limit_size;

usr/src/tools/smatch/src/check_spectre.c

129

sval_t mask;

usr/src/tools/smatch/src/check_spectre.c

97

sval_t max;

usr/src/tools/smatch/src/check_string_len.c

158

sval_t min;

usr/src/tools/smatch/src/check_string_len.c

230

sval_t max;

usr/src/tools/smatch/src/check_string_len.c

44

sval_t sval;

usr/src/tools/smatch/src/check_template.c

87

sval_t ret_val;

usr/src/tools/smatch/src/check_testing_index_after_use.c

71

sval_t sval;

usr/src/tools/smatch/src/check_uninitialized.c

102

sval_t max;

usr/src/tools/smatch/src/check_unwind.c

138

sval_t sval;

usr/src/tools/smatch/src/check_wine.c

31

sval_t sval;

usr/src/tools/smatch/src/check_zero_to_err_ptr.c

99

static int is_valid_ptr(sval_t sval)

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

1147

sval_t *sval_alloc(sval_t sval);

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

1148

sval_t *sval_alloc_permanent(sval_t sval);

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

1149

sval_t sval_blank(struct expression *expr);

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.h

1151

sval_t sval_type_fval(struct symbol *type, long double fval);

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

1152

sval_t sval_from_val(struct expression *expr, long long val);

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

1153

sval_t sval_from_fval(struct expression *expr, long double fval);

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

1154

int sval_is_ptr(sval_t sval);

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

1155

bool sval_is_fp(sval_t sval);

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

1156

int sval_unsigned(sval_t sval);

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

1157

int sval_signed(sval_t sval);

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

1158

int sval_bits(sval_t sval);

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

1159

int sval_bits_used(sval_t sval);

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

1160

int sval_is_negative(sval_t sval);

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

1161

int sval_is_positive(sval_t sval);

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

1162

int sval_is_min(sval_t sval);

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

1163

int sval_is_max(sval_t sval);

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

1164

int sval_is_a_min(sval_t sval);

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

1165

int sval_is_a_max(sval_t sval);

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

1166

int sval_is_negative_min(sval_t sval);

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

1167

int sval_cmp_t(struct symbol *type, sval_t one, sval_t two);

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

1168

int sval_cmp_val(sval_t one, long long val);

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

1169

sval_t sval_min(sval_t one, sval_t two);

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

1170

sval_t sval_max(sval_t one, sval_t two);

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

1171

int sval_too_low(struct symbol *type, sval_t sval);

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

1172

int sval_too_high(struct symbol *type, sval_t sval);

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

1173

int sval_fits(struct symbol *type, sval_t sval);

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

1174

sval_t sval_cast(struct symbol *type, sval_t sval);

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

1175

sval_t sval_preop(sval_t sval, int op);

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

1176

sval_t sval_binop(sval_t left, int op, sval_t right);

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

1177

int sval_binop_overflows(sval_t left, int op, sval_t right);

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

1178

int sval_binop_overflows_no_sign(sval_t left, int op, sval_t right);

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

1182

unsigned long long sval_fls_mask(sval_t sval);

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

1183

const char *sval_to_str(sval_t sval);

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

1184

const char *sval_to_str_or_err_ptr(sval_t sval);

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

1185

const char *sval_to_numstr(sval_t sval);

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

1186

sval_t ll_to_sval(long long val);

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

1250

int estate_get_single_value(struct smatch_state *state, sval_t *sval);

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

1290

int get_mtag_sval(struct expression *expr, sval_t *sval);

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

1365

static inline int sval_positive_bits(sval_t sval)

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

1374

static inline int fp_cmp(sval_t one, sval_t two)

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

1413

static inline int sval_cmp(sval_t one, sval_t two)

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

192

void return_implies_state_sval(const char *look_for, sval_t start, sval_t end,

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

406

int get_const_value(struct expression *expr, sval_t *sval);

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

407

int get_value(struct expression *expr, sval_t *val);

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

408

int get_implied_value(struct expression *expr, sval_t *val);

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

409

int get_implied_value_fast(struct expression *expr, sval_t *sval);

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

410

int get_implied_min(struct expression *expr, sval_t *sval);

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

411

int get_implied_max(struct expression *expr, sval_t *val);

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

412

int get_hard_max(struct expression *expr, sval_t *sval);

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

413

int get_fuzzy_min(struct expression *expr, sval_t *min);

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

414

int get_fuzzy_max(struct expression *expr, sval_t *max);

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

415

int get_absolute_min(struct expression *expr, sval_t *sval);

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

416

int get_absolute_max(struct expression *expr, sval_t *sval);

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

417

int parse_call_math(struct expression *expr, char *math, sval_t *val);

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

484

sval_t sval_type_max(struct symbol *base_type);

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

485

sval_t sval_type_min(struct symbol *base_type);

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

603

int impossible_assumption(struct expression *left, int op, sval_t sval);

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

615

sval_t min;

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

616

sval_t max;

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

625

extern const sval_t valid_ptr_min_sval;

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

626

extern sval_t valid_ptr_max_sval;

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

630

static const sval_t array_min_sval = {

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

634

static const sval_t array_max_sval = {

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

638

static const sval_t text_seg_min = {

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

642

static const sval_t text_seg_max = {

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

646

static const sval_t data_seg_min = {

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

650

static const sval_t data_seg_max = {

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

654

static const sval_t bss_seg_min = {

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

658

static const sval_t bss_seg_max = {

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

662

static const sval_t stack_seg_min = {

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

666

static const sval_t stack_seg_max = {

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

670

static const sval_t kmalloc_seg_min = {

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

674

static const sval_t kmalloc_seg_max = {

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

678

static const sval_t vmalloc_seg_min = {

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

682

static const sval_t vmalloc_seg_max = {

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

686

static const sval_t fn_ptr_min = {

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

690

static const sval_t fn_ptr_max = {

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

702

int get_absolute_min_helper(struct expression *expr, sval_t *sval);

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

703

int get_absolute_max_helper(struct expression *expr, sval_t *sval);

usr/src/tools/smatch/src/smatch_address.c

151

sval_t min, max, remove, sval;

usr/src/tools/smatch/src/smatch_address.c

287

sval_t bytes;

usr/src/tools/smatch/src/smatch_bits.c

247

sval_t known;

usr/src/tools/smatch/src/smatch_bits.c

289

static int is_single_bit(sval_t sval)

usr/src/tools/smatch/src/smatch_bits.c

306

sval_t val;

usr/src/tools/smatch/src/smatch_bits.c

354

sval_t right;

usr/src/tools/smatch/src/smatch_bits.c

425

sval_t sval;

usr/src/tools/smatch/src/smatch_bits.c

60

sval_t sval;

usr/src/tools/smatch/src/smatch_buf_comparison.c

158

sval_t sval;

usr/src/tools/smatch/src/smatch_buf_comparison.c

222

sval_t sval;

usr/src/tools/smatch/src/smatch_buf_comparison.c

400

sval_t max;

usr/src/tools/smatch/src/smatch_buf_comparison.c

492

sval_t sval;

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

272

sval_t sval;

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

287

sval_t sval;

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

354

sval_t sval;

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

400

sval_t sval;

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

465

sval_t sval = {

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

476

sval_t sval;

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

488

sval_t offset;

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

545

sval_t sval;

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

558

sval_t bytes;

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

65

sval_t sval;

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

680

sval_t sval;

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

75

sval_t sval;

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

753

sval_t page_size = {

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

765

sval_t size;

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

783

sval_t sval;

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

802

sval_t sval;

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

85

sval_t sval;

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

850

sval_t sval;

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

871

sval_t sval;

usr/src/tools/smatch/src/smatch_capped.c

150

sval_t sval;

usr/src/tools/smatch/src/smatch_capped.c

222

sval_t sval;

usr/src/tools/smatch/src/smatch_capped.c

239

sval_t sval;

usr/src/tools/smatch/src/smatch_capped.c

257

sval_t sval;

usr/src/tools/smatch/src/smatch_capped.c

72

sval_t dummy;

usr/src/tools/smatch/src/smatch_capped.c

97

sval_t sval;

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

48

sval_t fixed;

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

49

sval_t bound;

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

1150

sval_t sval;

usr/src/tools/smatch/src/smatch_comparison.c

1210

sval_t sval;

usr/src/tools/smatch/src/smatch_comparison.c

1221

sval_t sval;

usr/src/tools/smatch/src/smatch_comparison.c

1271

sval_t sval;

usr/src/tools/smatch/src/smatch_comparison.c

1511

sval_t left_tmp, right_tmp;

usr/src/tools/smatch/src/smatch_comparison.c

1536

sval_t min;

usr/src/tools/smatch/src/smatch_comparison.c

1562

sval_t min;

usr/src/tools/smatch/src/smatch_comparison.c

171

sval_t left_min, left_max, right_min, right_max;

usr/src/tools/smatch/src/smatch_comparison.c

799

sval_t zero = { .type = &int_ctype };

usr/src/tools/smatch/src/smatch_constraints.c

357

sval_t sval;

usr/src/tools/smatch/src/smatch_constraints_required.c

101

sval_t struct_size;

usr/src/tools/smatch/src/smatch_constraints_required.c

134

sval_t sval;

usr/src/tools/smatch/src/smatch_constraints_required.c

166

sval_t sval;

usr/src/tools/smatch/src/smatch_constraints_required.c

230

sval_t sval;

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

29

sval_t sval;

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

540

sval_t sval;

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

60

sval_t sval;

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

1420

sval_t sval;

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

1518

sval_t sval = { .type = &int_ctype };

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

1519

sval_t ret;

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

1582

sval_t sval;

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

1673

sval_t sval;

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

1760

sval_t null_sval;

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

1863

sval_t zero_sval;

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

1951

sval_t sval;

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

2029

sval_t sval;

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

2122

sval_t sval;

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

102

void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max)

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

118

sval_t empty = {};

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

143

int estate_get_hard_max(struct smatch_state *state, sval_t *sval)

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

195

sval_t estate_min(struct smatch_state *state)

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

200

sval_t estate_max(struct smatch_state *state)

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

277

int estate_get_single_value(struct smatch_state *state, sval_t *sval)

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

279

sval_t min, max;

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

300

static struct data_info *alloc_dinfo_range(sval_t min, sval_t max)

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

389

struct smatch_state *alloc_estate_sval(sval_t sval)

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

401

struct smatch_state *alloc_estate_range(sval_t min, sval_t max)

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

86

sval_t estate_get_fuzzy_max(struct smatch_state *state)

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

88

sval_t empty = {};

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

1028

sval_t sval;

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

1079

sval_t sval, max;

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

1116

sval_t sval;

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

1219

sval_t zero = { .type = rl_type(rl) };

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

1234

sval_t min = estate_min(state);

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

1235

sval_t max = estate_max(state);

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

1252

sval_t min = estate_min(state);

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

1253

sval_t max = estate_max(state);

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

1419

static sval_t add_one(sval_t sval)

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

1431

sval_t start;

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

1432

sval_t limit;

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

1524

sval_t dummy, hard_max;

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

1757

sval_t sval;

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

1782

sval_t sval, dummy;

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

1790

sval_t divisor;

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

1818

sval_t divisor;

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

1855

sval_t tmp;

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

1900

sval_t left_min, right_min, min, max;

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

2015

static sval_t get_high_mask(sval_t known)

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

2017

sval_t ret;

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

2038

sval_t sval;

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

2039

sval_t high = { .type = &int_ctype };

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

2040

sval_t low = { .type = &int_ctype };

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

2078

static void handle_AND_op(struct expression *var, sval_t known)

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

2084

sval_t low_mask = known;

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

2085

sval_t high_mask;

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

2086

sval_t max;

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

2122

sval_t known;

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

2138

sval_t right;

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

2139

sval_t zero = { 0, };

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

2159

sval_t add;

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

2175

sval_t chop = right;

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

2182

sval_t chop = rl_max(orig_rl);

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

2233

sval_t size;

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

2343

sval_t sval;

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

2461

sval_t dummy;

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

2558

sval_t zero = { .type = rl_type(rl), };

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

2559

sval_t sval;

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

2775

sval_t dummy;

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

2809

sval_t dummy;

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

2831

sval_t max;

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

577

sval_t sval;

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

596

static int get_countdown_info(struct expression *condition, struct expression **unop, int *op, sval_t *right)

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

600

sval_t limit;

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

647

sval_t start, right;

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

704

sval_t start, end, max;

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

758

sval_t start, end;

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

851

sval_t limit, after_value;

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

865

sval_t limit;

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

897

sval_t hmax = estate_get_fuzzy_max(sm->state);

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

898

sval_t max = estate_max(sm->state);

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

122

struct smatch_state *alloc_estate_sval(sval_t sval);

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

123

struct smatch_state *alloc_estate_range(sval_t min, sval_t max);

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

139

sval_t estate_min(struct smatch_state *state);

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

140

sval_t estate_max(struct smatch_state *state);

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

144

sval_t estate_get_fuzzy_max(struct smatch_state *state);

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

145

void estate_set_fuzzy_max(struct smatch_state *state, sval_t max);

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

151

int estate_get_hard_max(struct smatch_state *state, sval_t *sval);

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

159

int estate_get_single_value(struct smatch_state *state, sval_t *sval);

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

162

struct smatch_state *estate_filter_sval(struct smatch_state *orig, sval_t filter);

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

31

sval_t fuzzy_max;

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

49

struct data_range *alloc_range(sval_t min, sval_t max);

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

50

struct data_range *alloc_range_perm(sval_t min, sval_t max);

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

54

struct range_list *alloc_rl(sval_t min, sval_t max);

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

59

void add_range(struct range_list **list, sval_t min, sval_t max);

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

60

struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max);

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

75

int rl_has_sval(struct range_list *rl, sval_t sval);

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

78

bool is_err_ptr(sval_t sval);

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

86

sval_t rl_min(struct range_list *rl);

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

87

sval_t rl_max(struct range_list *rl);

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

88

int rl_to_sval(struct range_list *rl, sval_t *sval);

usr/src/tools/smatch/src/smatch_flow.c

1058

sval_t sval;

usr/src/tools/smatch/src/smatch_flow.c

324

sval_t sval;

usr/src/tools/smatch/src/smatch_flow.c

345

sval_t sval;

usr/src/tools/smatch/src/smatch_flow.c

582

sval_t sval;

usr/src/tools/smatch/src/smatch_flow.c

763

static int is_case_val(struct statement *stmt, sval_t sval)

usr/src/tools/smatch/src/smatch_flow.c

765

sval_t case_sval;

usr/src/tools/smatch/src/smatch_flow.c

784

sval_t start, end;

usr/src/tools/smatch/src/smatch_flow.c

801

static void split_known_switch(struct statement *stmt, sval_t sval)

usr/src/tools/smatch/src/smatch_flow.c

82

const sval_t valid_ptr_min_sval = {

usr/src/tools/smatch/src/smatch_flow.c

86

sval_t valid_ptr_max_sval = {

usr/src/tools/smatch/src/smatch_fresh_alloc.c

106

sval_t sval;

usr/src/tools/smatch/src/smatch_fresh_alloc.c

72

sval_t sval;

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

142

void return_implies_state_sval(const char *look_for, sval_t start, sval_t end,

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

303

static void call_implies_callbacks(int comparison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false)

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

852

sval_t sval;

usr/src/tools/smatch/src/smatch_helper.c

290

sval_t sval = {};

usr/src/tools/smatch/src/smatch_helper.c

301

sval_t sval = {};

usr/src/tools/smatch/src/smatch_helper.c

340

sval_t sval;

usr/src/tools/smatch/src/smatch_helper.c

634

sval_t sval;

usr/src/tools/smatch/src/smatch_helper.c

834

sval_t sval;

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

1224

int impossible_assumption(struct expression *left, int op, sval_t sval)

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

145

sval_t sval;

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

700

sval_t dummy;

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

855

sval_t sval;

usr/src/tools/smatch/src/smatch_integer_overflow.c

140

sval_t lmax, rmax, res;

usr/src/tools/smatch/src/smatch_integer_overflow.c

61

sval_t max;

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

156

sval_t sval;

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

182

sval_t sval;

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

683

sval_t min = rl_min(rl);

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

684

sval_t minus_one;

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

685

sval_t over;

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

686

sval_t max = sval_type_max(rl_type(rl));

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

714

sval_t sval;

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

1108

static sval_t handle_sizeof(struct expression *expr)

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

1111

sval_t ret;

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

1152

static bool handle_strlen(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1155

sval_t tag;

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

1156

sval_t ret = { .type = &ulong_ctype };

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

1187

static bool handle_builtin_constant_p(struct expression *expr, int implied, int *recurse_cnt, sval_t *res_sval)

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

1200

static bool handle__builtin_choose_expr(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1203

sval_t sval;

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

1217

static bool handle_call_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

126

static bool handle_ampersand_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1264

static bool handle_cast(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1268

sval_t sval = {};

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

1290

static bool get_offset_from_down(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1297

sval_t sval = { .type = ssize_t_ctype };

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

1298

sval_t tmp_sval = {};

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

131

static bool handle_negate_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1358

static bool get_offset_from_in(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1377

static bool handle_offsetof_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1393

static bool get_rl_sval(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *sval_res)

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

1397

sval_t sval = {};

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

1496

sval_t sval = {};

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

1511

sval_t sval = {};

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

1531

sval_t sval;

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

1554

static bool get_value_literal(struct expression *expr, sval_t *res_sval)

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

1567

int get_value(struct expression *expr, sval_t *res_sval)

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

1571

sval_t sval = {};

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

158

static bool handle_bitwise_negate(struct expression *expr, int implied, int *recurse_cnt, sval_t *res_sval)

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

1608

static bool get_implied_value_internal(struct expression *expr, int *recurse_cnt, sval_t *res_sval)

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

161

sval_t sval = {};

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

1621

int get_implied_value(struct expression *expr, sval_t *sval)

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

1631

int get_implied_value_fast(struct expression *expr, sval_t *sval)

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

1651

int get_implied_min(struct expression *expr, sval_t *sval)

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

1661

int get_implied_max(struct expression *expr, sval_t *sval)

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

1729

int get_hard_max(struct expression *expr, sval_t *sval)

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

1739

int get_fuzzy_min(struct expression *expr, sval_t *sval)

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

1742

sval_t tmp;

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

1753

int get_fuzzy_max(struct expression *expr, sval_t *sval)

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

1756

sval_t max;

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

1767

int get_absolute_min(struct expression *expr, sval_t *sval)

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

1787

int get_absolute_max(struct expression *expr, sval_t *sval)

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

1809

sval_t tmp;

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

181

static bool handle_minus_preop(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

1828

sval_t tmp;

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

1847

sval_t tmp;

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

186

sval_t neg_one = { 0 };

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

187

sval_t zero = { 0 };

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

188

sval_t sval = {};

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

1889

sval_t sval;

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

211

sval_t new_min, new_max;

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

23

static bool get_rl_sval(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *sval_res);

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

234

sval_t new_min, new_max;

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

25

static bool handle_variable(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval);

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

252

static bool handle_preop_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

28

static bool get_implied_value_internal(struct expression *expr, int *recurse_cnt, sval_t *res_sval);

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

31

static sval_t zero = {.type = &int_ctype, {.value = 0} };

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

32

static sval_t one = {.type = &int_ctype, {.value = 1} };

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

364

sval_t min, max, tmp;

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

456

sval_t left, right, sval;

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

533

sval_t min, max;

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

566

sval_t right;

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

586

static bool handle_known_binop(struct expression *expr, sval_t *res)

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

588

sval_t left, right;

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

613

sval_t res;

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

64

static bool last_stmt_rl(struct statement *stmt, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

640

static bool handle_binop_rl_helper(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

646

sval_t min, max;

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

696

static bool handle_binop_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

700

sval_t val;

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

754

static bool handle_comparison_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

756

sval_t left, right;

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

806

static bool handle_logical_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

808

sval_t left, right;

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

858

static bool handle_conditional_rl(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

87

int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

910

static bool get_fuzzy_max_helper(struct expression *expr, sval_t *max)

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

913

sval_t sval;

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

92

static bool handle_address(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

927

static bool get_fuzzy_min_helper(struct expression *expr, sval_t *min)

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

930

sval_t sval;

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

947

int get_const_value(struct expression *expr, sval_t *sval)

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

950

sval_t right;

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

96

sval_t sval;

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

986

static bool handle_variable(struct expression *expr, int implied, int *recurse_cnt, struct range_list **res, sval_t *res_sval)

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

990

sval_t sval, min, max;

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

133

sval_t tag_sval;

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

236

sval_t sval;

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

267

sval_t sval;

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

314

sval_t sval;

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

404

int get_mtag_sval(struct expression *expr, sval_t *sval)

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

97

sval_t sval;

usr/src/tools/smatch/src/smatch_mtag_map.c

34

sval_t sval;

usr/src/tools/smatch/src/smatch_nul_terminator.c

51

sval_t sval;

usr/src/tools/smatch/src/smatch_param_cleared.c

139

sval_t sval;

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

105

sval_t sval;

usr/src/tools/smatch/src/smatch_parse_call_math.c

170

sval_t sval;

usr/src/tools/smatch/src/smatch_parse_call_math.c

247

int parse_call_math(struct expression *call, char *math, sval_t *sval)

usr/src/tools/smatch/src/smatch_parse_call_math.c

347

static int is_mtag_sval(sval_t sval)

usr/src/tools/smatch/src/smatch_parse_call_math.c

359

sval_t sval;

usr/src/tools/smatch/src/smatch_parse_call_math.c

423

sval_t dummy;

usr/src/tools/smatch/src/smatch_parse_call_math.c

448

sval_t sval;

usr/src/tools/smatch/src/smatch_parse_call_math.c

489

sval_t sval;

usr/src/tools/smatch/src/smatch_parsed_conditions.c

51

sval_t val;

usr/src/tools/smatch/src/smatch_passes_array_size.c

24

sval_t val;

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

1048

struct range_list *remove_range(struct range_list *list, sval_t min, sval_t max)

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

1059

sval_t tmp = min;

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

108

static int sval_too_big(struct symbol *type, sval_t sval)

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

132

static int truncates_nicely(struct symbol *type, sval_t min, sval_t max)

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

1361

int rl_has_sval(struct range_list *rl, sval_t sval)

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

1413

sval_t min, max;

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

1469

sval_t min = { .type = &bool_ctype };

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

147

static void add_range_t(struct symbol *type, struct range_list **rl, sval_t min, sval_t max)

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

1470

sval_t max = { .type = &bool_ctype };

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

1611

sval_t zero;

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

1612

sval_t max;

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

1683

sval_t right_min, right_max;

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

1684

sval_t min, max;

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

1732

sval_t l_sval, r_sval, res;

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

1757

sval_t min, max;

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

1777

sval_t min, max;

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

1778

sval_t min_ll, max_ll, res_ll;

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

1779

sval_t tmp;

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

1845

sval_t min, max;

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

1846

sval_t sval;

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

1868

sval_t zero, max;

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

1883

static sval_t sval_lowest_set_bit(sval_t sval)

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

1885

sval_t ret = { .type = sval.type };

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

1901

sval_t min, max, zero;

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

1926

sval_t zero = { .type = rl_type(left_orig), };

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

1927

sval_t shift, min, max;

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

1971

sval_t shift, min, max;

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

1990

sval_t left_sval, right_sval;

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

2006

sval_t val = sval_binop(left_sval, op, right_sval);

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

2069

sval_t min, max;

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

29

bool is_err_ptr(sval_t sval)

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

300

static int get_val_from_key(int use_max, struct symbol *type, const char *c, struct expression *call, const char **endp, sval_t *sval)

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

304

sval_t ret, tmp;

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

335

static sval_t add_one(sval_t sval)

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

341

static sval_t sub_one(sval_t sval)

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

353

sval_t min, max;

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

433

static sval_t parse_val(int use_max, struct expression *call, struct symbol *type, const char *c, const char **endp)

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

436

sval_t ret;

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

536

sval_t prev_min, min, max;

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

745

sval_t rl_min(struct range_list *rl)

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

748

sval_t ret;

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

758

sval_t rl_max(struct range_list *rl)

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

761

sval_t ret;

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

771

int rl_to_sval(struct range_list *rl, sval_t *sval)

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

773

sval_t min, max;

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

793

static struct data_range *alloc_range_helper_sval(sval_t min, sval_t max, int perm)

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

806

struct data_range *alloc_range(sval_t min, sval_t max)

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

811

struct data_range *alloc_range_perm(sval_t min, sval_t max)

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

816

struct range_list *alloc_rl(sval_t min, sval_t max)

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

837

static bool collapse_pointer_rl(struct range_list **rl, sval_t min, sval_t max)

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

887

void add_range(struct range_list **list, sval_t min, sval_t max)

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

102

sval_t sval;

usr/src/tools/smatch/src/smatch_stored_conditions.c

196

sval_t val;

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

102

sval_t sval;

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

169

sval_t limit_size;

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

189

sval_t limit;

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

225

sval_t sval;

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

280

sval_t max;

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

38

sval_t sval;

usr/src/tools/smatch/src/smatch_struct_assignment.c

368

sval_t sval;

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

108

int sval_is_ptr(sval_t sval)

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

115

bool sval_is_fp(sval_t sval)

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

120

int sval_unsigned(sval_t sval)

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

127

int sval_signed(sval_t sval)

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

132

int sval_bits(sval_t sval)

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

137

int sval_bits_used(sval_t sval)

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

148

int sval_is_negative(sval_t sval)

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

157

int sval_is_positive(sval_t sval)

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

162

static bool fp_is_min(sval_t sval)

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

174

int sval_is_min(sval_t sval)

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

176

sval_t min = sval_type_min(sval.type);

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

190

static bool fp_is_max(sval_t sval)

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

202

int sval_is_max(sval_t sval)

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

204

sval_t max = sval_type_max(sval.type);

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

214

int sval_is_a_min(sval_t sval)

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

231

int sval_is_a_max(sval_t sval)

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

257

int sval_is_negative_min(sval_t sval)

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

267

int sval_cmp_t(struct symbol *type, sval_t one, sval_t two)

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

269

sval_t one_cast, two_cast;

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

276

int sval_cmp_val(sval_t one, long long val)

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

278

sval_t sval;

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

284

sval_t sval_min(sval_t one, sval_t two)

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

291

sval_t sval_max(sval_t one, sval_t two)

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

298

int sval_too_low(struct symbol *type, sval_t sval)

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

312

int sval_too_high(struct symbol *type, sval_t sval)

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

321

int sval_fits(struct symbol *type, sval_t sval)

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

33

__ALLOCATOR(sval_t, "svals", sval);

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

337

static sval_t cast_to_fp(struct symbol *type, sval_t sval)

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

339

sval_t ret = {};

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

35

sval_t *sval_alloc(sval_t sval)

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

37

sval_t *ret;

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

385

static sval_t cast_from_fp(struct symbol *type, sval_t sval)

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

387

sval_t ret = {};

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

402

sval_t sval_cast(struct symbol *type, sval_t sval)

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

404

sval_t ret;

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

44

sval_t *sval_alloc_permanent(sval_t sval)

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

444

sval_t sval_preop(sval_t sval, int op)

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

46

sval_t *ret;

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

462

static sval_t sval_binop_unsigned(struct symbol *type, sval_t left, int op, sval_t right)

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

464

sval_t ret;

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

517

static sval_t sval_binop_signed(struct symbol *type, sval_t left, int op, sval_t right)

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

519

sval_t ret;

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

53

sval_t sval_blank(struct expression *expr)

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

55

sval_t ret;

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

574

static sval_t ptr_binop(struct symbol *type, sval_t left, int op, sval_t right)

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

576

sval_t ret;

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

611

sval_t sval_binop(sval_t left, int op, sval_t right)

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

614

sval_t ret;

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

627

int sval_unop_overflows(sval_t sval, int op)

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

646

int sval_binop_overflows(sval_t left, int op, sval_t right)

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

649

sval_t max, min;

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

65

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

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

67

sval_t ret;

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

715

int sval_binop_overflows_no_sign(sval_t left, int op, sval_t right)

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

767

unsigned long long sval_fls_mask(sval_t sval)

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

77

sval_t sval_type_fval(struct symbol *type, long double fval)

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

772

static char *fp_to_str(sval_t sval)

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

788

const char *sval_to_str(sval_t sval)

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

79

sval_t ret;

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

828

const char *sval_to_str_or_err_ptr(sval_t sval)

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

844

const char *sval_to_numstr(sval_t sval)

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

86

sval_t sval_from_val(struct expression *expr, long long val)

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

861

sval_t ll_to_sval(long long val)

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

863

sval_t ret;

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

88

sval_t ret;

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

97

sval_t sval_from_fval(struct expression *expr, long double fval)

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

99

sval_t ret;

usr/src/tools/smatch/src/smatch_type.c

167

sval_t sval;

usr/src/tools/smatch/src/smatch_type.c

444

static sval_t fp_max(struct symbol *type)

usr/src/tools/smatch/src/smatch_type.c

446

sval_t ret = { .type = type };

usr/src/tools/smatch/src/smatch_type.c

458

sval_t sval_type_max(struct symbol *base_type)

usr/src/tools/smatch/src/smatch_type.c

460

sval_t ret;

usr/src/tools/smatch/src/smatch_type.c

473

static sval_t fp_min(struct symbol *type)

usr/src/tools/smatch/src/smatch_type.c

475

sval_t ret = { .type = type };

usr/src/tools/smatch/src/smatch_type.c

487

sval_t sval_type_min(struct symbol *base_type)

usr/src/tools/smatch/src/smatch_type.c

489

sval_t ret;