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

79

state = get_state_expr(my_id, expr);

usr/src/tools/smatch/src/check_check_deref.c

156

if (get_state_expr(my_id, expr))

usr/src/tools/smatch/src/check_container_of.c

48

if (get_state_expr(my_id, expr) == &non_null) {

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

220

if (!get_state_expr(my_id, expr))

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

46

if (!get_state_expr(my_id, expr))

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

63

state = get_state_expr(SMATCH_EXTRA, ret_value);

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

146

if (!get_state_expr(my_id, expr))

usr/src/tools/smatch/src/check_expects_err_ptr.c

57

state = get_state_expr(my_id, expr);

usr/src/tools/smatch/src/check_freeing_devm.c

36

if (!get_state_expr(my_id, arg_expr))

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

83

if (get_state_expr(my_max_id, expr->left)) {

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

87

if (get_state_expr(my_max_id, expr->right)) {

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

95

if (get_state_expr(my_max_id, expr->left)) {

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

257

if (get_state_expr(loop_id, offset) == &loop_end)

usr/src/tools/smatch/src/check_input_free_device.c

34

if (get_state_expr(my_id, expr->left)) {

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

112

pre_state = get_state_expr(SMATCH_EXTRA, arg);

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

132

pre_state = get_state_expr(SMATCH_EXTRA, arg);

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

148

pre_state = get_state_expr(SMATCH_EXTRA, arg);

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

90

pre_state = get_state_expr(SMATCH_EXTRA, arg);

usr/src/tools/smatch/src/check_kmalloc_to_bugon.c

47

state = get_state_expr(check_assigned_expr_id, expr);

usr/src/tools/smatch/src/check_missing_break.c

89

if (get_state_expr(my_id, left) == &no_break)

usr/src/tools/smatch/src/check_nospec.c

48

if (get_state_expr(my_id, expr) == &nospec)

usr/src/tools/smatch/src/check_nospec.c

82

if (get_state_expr(my_id, arg) == &nospec)

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

61

if (get_state_expr(my_id, expr) == &size_in_bytes)

usr/src/tools/smatch/src/check_readl_infinite_loops.c

54

if (get_state_expr(my_id, expr) == &readl)

usr/src/tools/smatch/src/check_readl_infinite_loops.c

63

else if (get_state_expr(my_id, expr->left))

usr/src/tools/smatch/src/check_resource_size.c

52

state = get_state_expr(check_assigned_expr_id, expr);

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

48

if (!get_state_expr(my_id, expr))

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

72

state = get_state_expr(SMATCH_EXTRA, ret_value);

usr/src/tools/smatch/src/check_rosenberg.c

145

if (get_state_expr(my_whole_id, expr) == &cleared)

usr/src/tools/smatch/src/check_spectre_second_half.c

77

state = get_state_expr(my_id, expr->right);

usr/src/tools/smatch/src/check_spectre_second_half.c

92

state = get_state_expr(my_id, expr);

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

110

if (get_state_expr(my_id, arg_expr))

usr/src/tools/smatch/src/check_wine_filehandles.c

72

if (get_state_expr(my_id, expr) == &filehandle) {

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

355

struct smatch_state *get_state_expr(int owner, struct expression *expr);

usr/src/tools/smatch/src/smatch_assigned_expr.c

44

state = get_state_expr(my_id, expr);

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

280

bstate = get_state_expr(my_id, expr);

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

248

state = get_state_expr(size_id, buf);

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

259

state = get_state_expr(link_id, size);

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

744

state = get_state_expr(size_id, array);

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

324

state = get_state_expr(my_size_id, expr);

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

645

get_state_expr(my_size_id, expr))

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

121

if (get_state_expr(my_id, expr) == &capped)

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

214

if (get_state_expr(my_id, expr->left))

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

2568

link_state = get_state_expr(link_id, expr);

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

311

state = get_state_expr(my_id, offset);

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

402

state = get_state_expr(my_id, expr);

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

417

state = get_state_expr(my_id, tmp);

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

262

state = get_state_expr(my_id, expr->right);

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

421

if (get_state_expr(my_id, expr))

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

203

state = get_state_expr(param_id, expr);

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

267

estate = get_state_expr(SMATCH_EXTRA, expr);

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

447

state = get_state_expr(SMATCH_EXTRA, expr);

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

1300

state = get_state_expr(SMATCH_EXTRA, expr->unop);

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

1308

state = get_state_expr(SMATCH_EXTRA, expr->unop);

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

2788

state = get_state_expr(SMATCH_EXTRA, arg);

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

115

if (get_state_expr(my_id, expr) == &fresh)

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

67

state = get_state_expr(my_id, expr);

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

168

state = get_state_expr(my_id, expr);

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

190

state = get_state_expr(my_id, expr);

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

654

if (get_state_expr(my_id, expr->left))

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

662

left_orig = get_state_expr(my_id, expr->left);

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

663

right_orig = get_state_expr(my_id, expr->right);

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

960

state = get_state_expr(my_id, expr);

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

972

if (!get_state_expr(my_id, array)) {

usr/src/tools/smatch/src/smatch_modification_hooks.c

262

return get_state_expr(my_id, expr);

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

625

state = get_state_expr(my_id, expr);

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

121

if (is_whole_rl(rl) && !get_state_expr(my_id, expr->left))

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

124

if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left))

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

132

return get_state_expr(my_id, expr);

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

232

state = get_state_expr(link_id, expr);

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

239

state = get_state_expr(my_strlen_id, expr);

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

250

state = get_state_expr(my_equiv_id, expr);