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

54

select_return_states_hook(BUF_SIZE, &db_returns_buf_size);

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

437

select_return_states_hook(ATOMIC_INC, &db_inc);

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

438

select_return_states_hook(ATOMIC_DEC, &db_dec);

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

363

select_return_states_hook(PARAM_FREED, &set_param_freed);

usr/src/tools/smatch/src/check_frees_param_strict.c

157

select_return_states_hook(PARAM_FREED, &set_param_freed);

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

1288

select_return_states_hook(LOCKED, &db_param_locked);

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

1289

select_return_states_hook(UNLOCKED, &db_param_unlocked);

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

1290

select_return_states_hook(LOCK_RESTORED, &db_param_restore);

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

264

select_return_states_hook(NOSPEC, &db_returns_nospec);

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

265

select_return_states_hook(NOSPEC_WB, &db_returns_barrier);

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

266

select_return_states_hook(STMT_CNT, &select_return_stmt_cnt);

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

409

select_return_states_hook(PARAM_CLEARED, &db_param_cleared);

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

194

void select_return_states_hook(int type, return_implies_hook *callback);

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

144

select_return_states_hook(PARAM_SET, &record_param_assignment);

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

923

select_return_states_hook(BUF_SIZE, &db_returns_buf_size);

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

349

select_return_states_hook(CAPPED_DATA, &db_return_states_capped);

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

2611

select_return_states_hook(PARAM_COMPARE, &db_return_comparison);

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

528

select_return_states_hook(CONSTRAINT, &db_returns_constrained);

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

2902

select_return_states_hook(PARAM_LIMIT, &db_param_limit);

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

2903

select_return_states_hook(PARAM_FILTER, &db_param_filter);

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

2904

select_return_states_hook(PARAM_ADD, &db_param_add);

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

2905

select_return_states_hook(PARAM_SET, &db_param_set);

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

2907

select_return_states_hook(PARAM_VALUE, &db_param_value);

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

214

select_return_states_hook(FRESH_ALLOC, &returns_fresh_alloc);

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

1519

select_return_states_hook(PARAM_SET, &db_param_set);

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

1525

select_return_states_hook(USER_DATA, &returns_param_user_data);

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

1526

select_return_states_hook(USER_DATA_SET, &returns_param_user_data_set);

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

1527

select_return_states_hook(CAPPED_DATA, &returns_param_capped);

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

285

select_return_states_hook(PARAM_ADD, &db_param_add);

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

286

select_return_states_hook(PARAM_SET, &db_param_add);

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

319

select_return_states_hook(TERMINATED, return_info_terminated);

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

197

select_return_states_hook(PARAM_CLEARED, &db_param_cleared);

usr/src/tools/smatch/src/smatch_param_compare_limit.c

364

select_return_states_hook(COMPARE_LIMIT, &db_return_comparison);

usr/src/tools/smatch/src/smatch_param_to_mtag_data.c

217

select_return_states_hook(MTAG_ASSIGN, &call_does_mtag_assign);

usr/src/tools/smatch/src/smatch_statement_count.c

87

select_return_states_hook(STMT_CNT, &select_return_info);

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

581

select_return_states_hook(PARAM_CLEARED, &db_param_cleared);

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

583

select_return_states_hook(CONTAINER, &returns_container_of);

usr/src/tools/smatch/src/smatch_type_val.c

676

select_return_states_hook(PARAM_ADD, &db_param_add);

usr/src/tools/smatch/src/smatch_type_val.c

677

select_return_states_hook(PARAM_SET, &db_param_add);

usr/src/tools/smatch/src/smatch_untracked_param.c

301

select_return_states_hook(INTERNAL, &assume_tracked);

usr/src/tools/smatch/src/smatch_untracked_param.c

302

select_return_states_hook(UNTRACKED_PARAM, &mark_untracked);

usr/src/tools/smatch/src/smatch_untracked_param.c

303

select_return_states_hook(LOST_PARAM, &mark_lost);