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

222

if (get_implied_value(amount, &sval) && sval_is_negative(sval)) {

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

28

if (!get_implied_value(arg_expr, &tmp))

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

33

if (!get_implied_value(arg, &sval))

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

49

if (!get_implied_value(arg, &sval))

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

38

if (!get_implied_value(arg, &sval))

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

318

if (!get_implied_value(arg, &sval)) {

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

56

if (get_implied_value(ret_value, &sval)) {

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

29

if (!get_implied_value(arg_expr, &sval))

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

32

if (get_implied_value(expr, &sval))

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

73

if (!get_implied_value(expr->right, &sval))

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

33

if (!get_implied_value(offset, &sval))

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

42

if (!get_implied_value(size_expr, &sval))

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

196

if (get_implied_value(expr, &sval) && sval.value == 0)

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

210

if (!get_implied_value(type->array_size, &sval))

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

40

if (!get_implied_value(arg_expr, &sval))

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

30

if (!get_implied_value(expr->right, &bits))

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

78

if (!get_implied_value(expr->right, &bits))

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

54

if (!get_implied_value(expr->right, &sval))

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

38

if (!get_implied_value(dest_size_expr, &limit_size))

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

80

if (get_implied_value(expr->left, &sval))

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

82

else if (get_implied_value(expr->right, &sval))

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

34

if (!get_implied_value(arg, &sval))

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

408

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

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

251

if (get_implied_value(expr, &known))

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

314

if (!get_implied_value(expr->right, &val))

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

178

if (get_implied_value(mult_left, &sval) &&

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

181

else if (get_implied_value(mult_right, &sval) &&

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

227

if (get_implied_value(arg, &sval) &&

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

294

if (!get_implied_value(type->array_size, &sval))

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

415

if (!get_implied_value(type->array_size, &sval))

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

492

if (!get_implied_value(expr->right, &offset))

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

707

if (get_implied_value(right, &sval) && sval.value == 0) {

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

787

if (!get_implied_value(arg, &sval))

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

163

if (get_implied_value(left, &sval) ||

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

164

get_implied_value(right, &sval))

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

228

if (get_implied_value(tmp, &sval))

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

1171

if (!get_implied_value(expr->left, &sval) ||

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

1214

if (!get_implied_value(expr->right, &sval) || sval.value != 1)

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

1225

if (!get_implied_value(expr->right, &sval) || sval.value != 1)

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

1289

get_implied_value(left_expr, &sval) &&

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

1294

get_implied_value(right_expr, &sval) &&

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

127

if (!get_implied_value(left, &struct_size))

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

139

if (get_implied_value(mult_left, &sval) &&

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

142

else if (get_implied_value(mult_right, &sval) &&

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

196

if (get_implied_value(mult_left, &sval) &&

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

199

else if (get_implied_value(mult_right, &sval) &&

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

207

get_implied_value(size->right, &sval) &&

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

236

if (get_implied_value(size, &sval) &&

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

241

if (get_implied_value(size, &sval) &&

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

1431

if (get_implied_value(expr, &sval)) {

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

1521

if (!get_implied_value(expr, &ret))

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

2134

!get_implied_value(expr, &sval)) &&

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

1109

if (get_implied_value(right, &sval)) {

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

1458

if (!get_implied_value(left->unop, &start))

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

1460

if (!get_implied_value(right, &limit))

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

1594

if (get_implied_value(right, &dummy) && !in_macro(left, right))

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

1596

if (get_implied_value(left, &dummy) && !in_macro(left, right))

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

1603

if (get_implied_value(left, &dummy) && !in_macro(left, right))

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

1605

if (get_implied_value(right, &dummy) && !in_macro(left, right))

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

1620

if (get_implied_value(right, &hard_max)) {

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

1632

if (get_implied_value(left, &hard_max)) {

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

1647

if (get_implied_value(left, &hard_max)) {

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

1659

if (get_implied_value(right, &hard_max)) {

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

1762

if (get_implied_value(expr->right, &sval)) {

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

1770

if (get_implied_value(expr->left, &sval)) {

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

1784

if (get_implied_value(left, &sval)) {

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

1787

if (get_implied_value(right, &dummy))

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

1812

if (get_implied_value(right, &sval)) {

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

1815

if (get_implied_value(left, &dummy))

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

1861

if (!get_implied_value(right, &tmp))

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

1864

if (!get_implied_value(left->left, &tmp) &&

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

1871

if (!get_implied_value(left->right, &tmp) &&

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

2050

if (!get_implied_value(shift->left, &sval) || sval.value != 1)

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

2127

if (get_implied_value(expr->left, &known))

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

2129

else if (get_implied_value(expr->right, &known))

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

2141

if (!get_implied_value(expr->right, &right) || right.value == 0)

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

2563

if (!get_implied_value(arg->right, &sval))

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

713

if (!get_implied_value(condition->right, &end))

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

852

if (!get_implied_value(expr, &sval))

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

858

if (get_implied_value(expr, &sval))

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

742

if (get_implied_value(left, &sval) ||

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

743

get_implied_value(right, &sval))

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

1169

if (get_implied_value(arg, &tag) &&

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

1815

if (get_implied_value(expr, &tmp) && tmp.value)

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

1834

if (get_implied_value(expr, &tmp) && tmp.value == 0)

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

1854

if (get_implied_value(expr, &tmp) && tmp.value)

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

1912

if (get_implied_value(expr, &sval) && sval.value == 0)

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

459

if (!get_implied_value(expr->right, &right))

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

461

if (!get_implied_value(expr->left, &left))

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

44

if (!get_implied_value(right, &sval))

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

393

if (!param_was_set(expr) && get_implied_value(expr, &sval) && !is_mtag_sval(sval)) {

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

432

if (get_implied_value(expr, &dummy))

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

459

if (get_implied_value(expr, &sval))

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

520

} else if (get_implied_value(arg, &sval)) {

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

30

if (!get_implied_value(arg, &val))

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

174

if (!get_implied_value(dest_size_expr, &limit_size))