/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_kunmap.c | 57 sm = get_sm_state_expr(my_id, arg); in match_kunmap_atomic() 71 sm = get_sm_state_expr(check_assigned_expr_id, arg); in match_kunmap()
|
H A D | check_get_user_overflow.c | 128 sm = get_sm_state_expr(my_max_id, expr); in check_expr() 135 sm = get_sm_state_expr(my_min_id, expr); in check_expr()
|
H A D | check_leaks.c | 143 sm = get_sm_state_expr(my_id, expr); in match_condition() 199 sm = get_sm_state_expr(my_id, expr); in warn_if_allocated()
|
H A D | check_input_free_device.c | 53 sm = get_sm_state_expr(my_id, arg); in match_input_free()
|
H A D | check_platform_device_put.c | 53 sm = get_sm_state_expr(my_id, arg_expr); in match_platform_device_del()
|
H A D | check_err_ptr_deref.c | 50 sm = get_sm_state_expr(my_id, expr); in check_is_err_ptr() 197 sm = get_sm_state_expr(SMATCH_EXTRA, arg); in match_err_ptr()
|
H A D | check_dma_mapping_error.c | 58 sm = get_sm_state_expr(my_id, ret_value); in match_return()
|
H A D | check_frees_param.c | 46 sm = get_sm_state_expr(my_id, expr); in freed_variable()
|
H A D | check_deref_check.c | 82 sm = get_sm_state_expr(my_id, expr); in match_condition()
|
H A D | check_snprintf.c | 62 sm = get_sm_state_expr(my_id, arg); in match_call()
|
H A D | check_return_efault.c | 67 sm = get_sm_state_expr(my_id, ret_value); in match_return_var()
|
H A D | check_dereferences_param.c | 71 sm = get_sm_state_expr(my_id, expr); in check_deref()
|
H A D | check_dev_queue_xmit.c | 65 sm = get_sm_state_expr(my_id, expr); in match_symbol()
|
H A D | check_held_dev.c | 86 sm = get_sm_state_expr(my_id, expr); in print_returns_held()
|
H A D | check_macro_side_effects.c | 69 sm = get_sm_state_expr(my_id, expr); in affected_inside_macro_before()
|
H A D | check_check_deref.c | 58 sm = get_sm_state_expr(my_id, expr); in check_dereference()
|
H A D | smatch_strings.c | 103 sm = get_sm_state_expr(my_id, expr); in get_strings()
|
H A D | smatch_fresh_alloc.c | 141 sm = get_sm_state_expr(my_id, expr); in set_unfresh()
|
H A D | check_unused_ret.c | 172 sm = get_sm_state_expr(my_id, expr); in match_symbol()
|
H A D | check_zero_to_err_ptr.c | 131 sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr); in match_err_ptr()
|
H A D | check_free.c | 49 sm = get_sm_state_expr(my_id, expr); in is_freed()
|
H A D | smatch_extra.c | 385 sm = get_sm_state_expr(link_id, array); in clear_array_states() 661 sm = get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_while_count_down() 695 return get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_while_count_down() 708 sm = get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_for_inc() 716 if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm) in handle_canonical_for_inc() 749 return get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_for_inc() 761 sm = get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_for_dec() 769 if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm) in handle_canonical_for_dec() 789 return get_sm_state_expr(SMATCH_EXTRA, iter_var); in handle_canonical_for_dec()
|
H A D | check_deref.c | 72 sm = get_sm_state_expr(my_id, expr); in check_dereference()
|
H A D | smatch_equiv.c | 212 right_sm = get_sm_state_expr(SMATCH_EXTRA, right); in set_equiv()
|
H A D | smatch_integer_overflow.c | 266 link = get_sm_state_expr(link_id, arg); in match_call_info()
|