/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_frees_param_strict.c | 47 static int counter_was_inced(struct expression *expr) in counter_was_inced() 65 static void match_free(const char *fn, struct expression *expr, void *param) in match_free() 89 static void set_param_freed(struct expression *expr, int param, char *key, char *value) in set_param_freed() 117 static void param_freed_info(int return_id, char *return_ranges, struct expression *expr) in param_freed_info()
|
H A D | smatch_comparison.c | 837 static int is_self_assign(struct expression *expr) in is_self_assign() 861 static void match_preop(struct expression *expr) in match_preop() 930 static char *chunk_to_var(struct expression *expr) in chunk_to_var() 1208 static int is_plus_one(struct expression *expr) in is_plus_one() 1219 static int is_minus_one(struct expression *expr) in is_minus_one() 1507 static void match_assign_add(struct expression *expr) in match_assign_add() 1531 static void match_assign_sub(struct expression *expr) in match_assign_sub() 1595 struct expression *expr; in copy_comparisons() local 1639 static void match_assign(struct expression *expr) in match_assign() 1910 struct expression *expr; in update_links_from_call() local [all …]
|
H A D | smatch_param_set.c | 86 static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct sm… in extra_mod_hook() 99 static void match_array_assignment(struct expression *expr) in match_array_assignment() 175 …nt_return_value_param_helper(int return_id, char *return_ranges, struct expression *expr, int limi… in print_return_value_param_helper() 258 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() 263 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr) in print_limited_param_set() 313 int param_was_set(struct expression *expr) in param_was_set()
|
H A D | expression.c | 63 struct token *parens_expression(struct token *token, struct expression **expr, const char *where) in parens_expression() 152 struct expression *expr = alloc_expression( in builtin_types_compatible_p_expr() local 178 struct expression *expr = NULL; in builtin_offsetof_expr() local 249 static void get_number_value(struct expression *expr, struct token *token) in get_number_value() 375 struct expression *expr = NULL; in primary_expression() local 482 struct expression *expr = NULL; in expression_list() local 500 struct expression *expr = cast_init_expr; in postfix_expression() local 579 struct expression *expr = alloc_expression(token->pos, type); in type_info_expression() local 864 struct expression *expr = alloc_expression(token->pos, EXPR_CONDITIONAL); in conditional_expression() local 889 struct expression * expr = alloc_expression(token->pos, EXPR_ASSIGNMENT); in assignment_expression() local
|
H A D | inline.c | 39 static struct expression * dup_expression(struct expression *expr) in dup_expression() 78 static struct expression * copy_expression(struct expression *expr) in copy_expression() 292 struct expression *expr; in copy_asm_constraints() local 347 struct expression *expr = copy_expression(stmt->expression); in copy_one_statement() local 355 struct expression *expr = copy_expression(stmt->range_expression); in copy_one_statement() local 407 struct expression *expr = copy_expression(stmt->switch_expression); in copy_one_statement() local 507 int inline_function(struct expression *expr, struct symbol *sym) in inline_function()
|
H A D | check_implicit_dependencies_tester.c | 98 static void print_member_type(struct expression *expr) in print_member_type() 111 static void match_condition(struct expression *expr) { in match_condition() 149 static void match_function_call(struct expression *expr) { in match_function_call()
|
H A D | check_access_ok_math.c | 22 static int can_overflow(struct expression *expr) in can_overflow() 68 static void match_access_ok(const char *fn, struct expression *expr, void *data) in match_access_ok() 78 struct expression *expr; in split_asm_constraints() local
|
H A D | check_locking.c | 441 static struct expression *remove_spinlock_check(struct expression *expr) in remove_spinlock_check() 462 static char *lock_to_name_sym(struct expression *expr, struct symbol **sym) in lock_to_name_sym() 469 static char *get_full_name(struct expression *expr, int index, struct symbol **sym) in get_full_name() 637 struct expression *expr, *arg; in handle_macro_lock_unlock() local 793 static void match_returns_locked(const char *fn, struct expression *expr, in match_returns_locked() 809 static void match_lock_unlock(const char *fn, struct expression *expr, void *_index) in match_lock_unlock() 843 static int get_param_lock_name(struct sm_state *sm, struct expression *expr, in get_param_lock_name() 983 static bool func_in_lock_table(struct expression *expr) in func_in_lock_table() 1190 static void match_call_info(struct expression *expr) in match_call_info() 1211 static void match_save_states(struct expression *expr) in match_save_states() [all …]
|
H A D | linearize.c | 117 struct expression *expr; in show_pseudo() local 347 struct expression *expr = insn->val; in show_instruction() local 954 struct expression *expr, in linearize_address_gen() 1185 static pseudo_t linearize_slice(struct entrypoint *ep, struct expression *expr) in linearize_slice() 1819 static pseudo_t linearize_cast(struct entrypoint *ep, struct expression *expr) in linearize_cast() 1835 struct expression *expr; in linearize_initializer() local 2056 struct expression *expr = stmt->expression; in linearize_context() local 2109 struct expression *expr; in linearize_asm_statement() local 2182 struct expression *expr = stmt->expression; in linearize_return() local 2201 struct expression *expr = stmt->switch_expression; in linearize_switch() local [all …]
|
H A D | smatch_flow.c | 155 int is_assigned_call(struct expression *expr) in is_assigned_call() 168 static int is_inline_func(struct expression *expr) in is_inline_func() 177 static int is_noreturn_func(struct expression *expr) in is_noreturn_func() 188 int inlinable(struct expression *expr) in inlinable() 228 struct expression *expr; in __process_post_op_stack() local 237 static int handle_comma_assigns(struct expression *expr) in handle_comma_assigns() 256 static int handle_postop_assigns(struct expression *expr) in handle_postop_assigns() 365 void __split_expr(struct expression *expr) in __split_expr() 581 struct expression *expr; in is_forever_loop() local 746 struct expression *expr; in split_asm_constraints() local [all …]
|
H A D | smatch_bits.c | 114 static bool is_loop_iterator(struct expression *expr) in is_loop_iterator() 131 static bool handled_by_assign_hook(struct expression *expr) in handled_by_assign_hook() 240 struct bit_info *get_bit_info(struct expression *expr) in get_bit_info() 304 static void match_compare(struct expression *expr) in match_compare() 322 static void match_assign(struct expression *expr) in match_assign() 349 static void match_condition(struct expression *expr) in match_condition() 378 static void match_call_info(struct expression *expr) in match_call_info()
|
H A D | smatch_param_to_mtag_data.c | 79 static void match_assign(struct expression *expr) in match_assign() 110 static void propogate_assignment(struct expression *expr, mtag_t tag, int offset, int param, char *… in propogate_assignment() 135 static void assign_to_alias(struct expression *expr, int param, mtag_t tag, int offset, char *key) in assign_to_alias() 164 static void call_does_mtag_assign(struct expression *expr, int param, char *key, char *value) in call_does_mtag_assign() 186 static void print_stored_to_mtag(int return_id, char *return_ranges, struct expression *expr) in print_stored_to_mtag()
|
H A D | smatch_impossible.c | 62 static void match_condition(struct expression *expr) in match_condition() 80 static void match_case(struct expression *expr, struct range_list *rl) in match_case() 87 static void print_impossible_return(int return_id, char *return_ranges, struct expression *expr) in print_impossible_return()
|
H A D | compile-i386.c | 961 struct expression *expr) in emit_initializer() 995 static void sort_array(struct expression *expr) in sort_array() 1053 struct expression *expr = sym->initializer; in emit_array() local 1286 static struct storage *emit_value(struct expression *expr) in emit_value() 1342 static struct storage *emit_binop(struct expression *expr) in emit_binop() 1538 struct expression *expr = stmt->ret_value; in emit_return_stmt() local 1614 struct expression *expr = sym->initializer; in emit_symbol_expr_init() local 1728 struct expression *expr = case_stmt->case_expression; in emit_switch_statement() local 2210 static struct storage *x86_access(struct expression *expr) in x86_access() 2215 static struct storage *x86_preop(struct expression *expr) in x86_preop() [all …]
|
H A D | smatch_param_limit.c | 133 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() 169 static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct sm… in extra_mod_hook() 182 static void match_save_states(struct expression *expr) in match_save_states() 188 static void match_restore_states(struct expression *expr) in match_restore_states()
|
H A D | smatch_mtag_data.c | 72 static bool is_ignored_macro(struct expression *expr) in is_ignored_macro() 84 static bool is_head_next(struct expression *expr) in is_head_next() 146 static bool parent_is_fresh_alloc(struct expression *expr) in parent_is_fresh_alloc() 156 void update_mtag_data(struct expression *expr, struct smatch_state *state) in update_mtag_data() 194 static void match_global_assign(struct expression *expr) in match_global_assign() 313 int get_mtag_rl(struct expression *expr, struct range_list **rl) in get_mtag_rl()
|
H A D | check_off_by_one_relative.c | 30 static void array_check(struct expression *expr) in array_check() 60 static int known_access_ok_numbers(struct expression *expr) in known_access_ok_numbers() 80 static void array_check_data_info(struct expression *expr) in array_check_data_info()
|
H A D | smatch_data_source.c | 24 static char *get_source_parameter(struct expression *expr) in get_source_parameter() 68 static char *get_source_assignment(struct expression *expr) in get_source_assignment() 102 static void match_caller_info(struct expression *expr) in match_caller_info()
|
H A D | check_dereferences_param.c | 55 static void check_deref(struct expression *expr) in check_deref() 77 static void match_dereference(struct expression *expr) in match_dereference() 111 static void match_pointer_as_array(struct expression *expr) in match_pointer_as_array()
|
H A D | smatch_address.c | 22 static bool is_non_null_array(struct expression *expr) in is_non_null_array() 116 int get_member_offset_from_deref(struct expression *expr) in get_member_offset_from_deref() 214 static bool handle_fn_address(struct expression *expr, struct range_list **rl) in handle_fn_address() 232 int get_address_rl(struct expression *expr, struct range_list **rl) in get_address_rl()
|
H A D | smatch_param_filter.c | 50 static void match_save_states(struct expression *expr) in match_save_states() 56 static void match_restore_states(struct expression *expr) in match_restore_states() 93 static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct sm… in extra_mod_hook() 159 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param()
|
H A D | check_zero_to_err_ptr.c | 24 static int is_comparison_call(struct expression *expr) in is_comparison_call() 34 static int next_line_is_if(struct expression *expr) in next_line_is_if() 122 static void match_err_ptr(const char *fn, struct expression *expr, void *data) in match_err_ptr()
|
H A D | check_dev_queue_xmit.c | 60 static void match_symbol(struct expression *expr) in match_symbol() 75 static void match_kfree_skb(const char *fn, struct expression *expr, void *param) in match_kfree_skb() 85 static void match_xmit(const char *fn, struct expression *expr, void *param) in match_xmit()
|
H A D | smatch_constraints.c | 159 static char *get_func_constraint(struct expression *expr) in get_func_constraint() 174 static char *get_toplevel_name(struct expression *expr) in get_toplevel_name() 195 char *get_constraint_str(struct expression *expr) in get_constraint_str() 385 static void match_condition(struct expression *expr) in match_condition() 398 struct constraint_list *get_constraints(struct expression *expr) in get_constraints() 408 static void match_caller_info(struct expression *expr) in match_caller_info() 473 … void print_return_implies_constrained(int return_id, char *return_ranges, struct expression *expr) in print_return_implies_constrained() 501 static void db_returns_constrained(struct expression *expr, int param, char *key, char *value) in db_returns_constrained()
|
H A D | check_unwind.c | 39 static int was_passed_as_param(struct expression *expr) in was_passed_as_param() 57 static void print_unwind_functions(const char *fn, struct expression *expr, void *_arg_no) in print_unwind_functions() 104 static void match_release(const char *fn, struct expression *expr, void *_arg_no) in match_release() 115 static void match_unwind_function(const char *fn, struct expression *expr, void *unused) in match_unwind_function()
|