| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | expand.c | 422 static int expand_binop(struct expression *expr) in expand_binop()
487 static int expand_comma(struct expression *expr) in expand_comma()
764 static int expand_postop(struct expression *expr) in expand_postop()
770 static int expand_preop(struct expression *expr) in expand_preop()
804 struct expression *expr; in expand_arguments() local
812 static int expand_cast(struct expression *expr) in expand_cast()
850 static int expand_call(struct expression *expr) in expand_call()
871 struct expression *expr; in expand_expression_list() local
1141 struct expression *expr = stmt->if_conditional; in expand_if_statement() local
1336 int expr_truth_value(struct expression *expr) in expr_truth_value()
[all …]
|
| H A D | smatch_conditions.c | 68 static int is_logical_and(struct expression *expr) in is_logical_and()
130 struct expression *expr = NULL; in handle_compound_stmt() local
156 static int handle_preop(struct expression *expr) in handle_preop()
173 static void handle_logical(struct expression *expr) in handle_logical()
234 static void handle_select(struct expression *expr) in handle_select()
357 static void handle_comma(struct expression *expr) in handle_comma()
387 static void do_condition(struct expression *expr) in do_condition()
516 void __handle_logic(struct expression *expr) in __handle_logic()
535 int is_condition(struct expression *expr) in is_condition()
613 static int is_select_assign(struct expression *expr) in is_select_assign()
[all …]
|
| H A D | check_precedence.c | 23 static int is_bool(struct expression *expr) in is_bool()
35 static int is_bool_from_context(struct expression *expr) in is_bool_from_context()
46 static int is_bool_op(struct expression *expr) in is_bool_op()
59 static void match_condition(struct expression *expr) in match_condition()
103 static void match_binop(struct expression *expr) in match_binop()
111 static void match_mask(struct expression *expr) in match_mask()
123 static void match_mask_compare(struct expression *expr) in match_mask_compare()
133 static void match_subtract_shift(struct expression *expr) in match_subtract_shift()
|
| H A D | smatch_kernel_user_data.c | 69 static void match_save_states(struct expression *expr) in match_save_states()
124 static bool binop_capped(struct expression *expr) in binop_capped()
152 bool user_rl_capped(struct expression *expr) in user_rl_capped()
178 bool user_rl_treat_untagged(struct expression *expr) in user_rl_treat_untagged()
261 static void tag_base_type(struct expression *expr) in tag_base_type()
325 static int ends_in_n(struct expression *expr) in ends_in_n()
372 static int is_skb_data(struct expression *expr) in is_skb_data()
441 int points_to_user_data(struct expression *expr) in points_to_user_data()
609 static void match_assign(struct expression *expr) in match_assign()
1017 int is_user_rl(struct expression *expr) in is_user_rl()
[all …]
|
| H A D | check_debug.c | 34 static void match_all_values(const char *fn, struct expression *expr, void *info) in match_all_values()
43 static void match_cur_stree(const char *fn, struct expression *expr, void *info) in match_cur_stree()
48 static void match_state(const char *fn, struct expression *expr, void *info) in match_state()
78 static void match_states(const char *fn, struct expression *expr, void *info) in match_states()
218 static void match_capped(const char *fn, struct expression *expr, void *info) in match_capped()
418 static void match_note(const char *fn, struct expression *expr, void *info) in match_note()
523 static void mtag_info(struct expression *expr) in mtag_info()
577 static void match_type(const char *fn, struct expression *expr, void *info) in match_type()
675 static void match_mtag(const char *fn, struct expression *expr, void *info) in match_mtag()
719 static void match_expr(const char *fn, struct expression *expr, void *info) in match_expr()
[all …]
|
| H A D | smatch_buf_size.c | 34 static char *get_fn_name(struct expression *expr) in get_fn_name()
43 static int is_allocation_function(struct expression *expr) in is_allocation_function()
126 static int bytes_per_element(struct expression *expr) in bytes_per_element()
168 static int get_initializer_size(struct expression *expr) in get_initializer_size()
300 int get_real_array_size(struct expression *expr) in get_real_array_size()
542 int get_array_size_bytes(struct expression *expr) in get_array_size_bytes()
555 int get_array_size_bytes_max(struct expression *expr) in get_array_size_bytes_max()
572 int get_array_size_bytes_min(struct expression *expr) in get_array_size_bytes_min()
594 int get_array_size(struct expression *expr) in get_array_size()
664 static bool is_array_base(struct expression *expr) in is_array_base()
[all …]
|
| H A D | smatch_math.c | 66 struct expression *expr; in last_stmt_rl() local
173 static bool untrusted_type_min(struct expression *expr) in untrusted_type_min()
728 static int do_comparison(struct expression *expr) in do_comparison()
1108 static sval_t handle_sizeof(struct expression *expr) in handle_sizeof()
1530 struct expression *expr; member
1705 int custom_get_absolute_rl(struct expression *expr, in custom_get_absolute_rl()
1729 int get_hard_max(struct expression *expr, sval_t *sval) in get_hard_max()
1807 int known_condition_true(struct expression *expr) in known_condition_true()
1826 int known_condition_false(struct expression *expr) in known_condition_false()
1845 int implied_condition_true(struct expression *expr) in implied_condition_true()
[all …]
|
| H A D | smatch_helper.c | 136 struct expression *expr; in get_argument_from_call_expr() local
176 struct expression *expr, int len, in __get_variable_from_expr()
382 struct expression *expr; member
389 struct expression *expr, int len, in get_variable_from_expr()
450 char *expr_to_str(struct expression *expr) in expr_to_str()
484 char *expr_to_var(struct expression *expr) in expr_to_var()
632 int expr_is_zero(struct expression *expr) in expr_is_zero()
641 int is_array(struct expression *expr) in is_array()
830 int is_error_return(struct expression *expr) in is_error_return()
1094 int get_param_num(struct expression *expr) in get_param_num()
[all …]
|
| H A D | smatch_expressions.c | 11 struct expression *expr; in get_cur_pos() local
27 struct expression *expr; in alloc_tmp_expression() local
53 struct expression *expr; in value_expr() local
66 struct expression *expr; in member_expression() local
86 struct expression *deref_expression(struct expression *expr) in deref_expression()
95 struct expression *expr; in assign_expression() local
110 struct expression *expr; in binop_expression() local
121 struct expression *expr; in array_element_expression() local
129 struct expression *expr; in symbol_expression() local
139 struct expression *expr; in compare_expression() local
[all …]
|
| H A D | smatch_recurse.c | 22 static int recurse(struct expression *expr, in recurse()
23 int (func)(struct expression *expr, void *p), in recurse()
114 static int has_symbol_helper(struct expression *expr, void *_sym) in has_symbol_helper()
125 int has_symbol(struct expression *expr, struct symbol *sym) in has_symbol()
131 struct expression *expr; member
136 static int has_var_helper(struct expression *expr, void *_var) in has_var_helper()
161 int has_variable(struct expression *expr, struct expression *var) in has_variable()
176 static int has_inc_dec_helper(struct expression *expr, void *unused) in has_inc_dec_helper()
187 int has_inc_dec(struct expression *expr) in has_inc_dec()
|
| H A D | smatch_untracked_param.c | 58 static void call_untracked_callbacks(struct expression *expr, int param) in call_untracked_callbacks()
74 static void call_lost_callbacks(struct expression *expr, int param) in call_lost_callbacks()
131 void mark_untracked(struct expression *expr, int param, const char *key, const char *value) in mark_untracked()
136 void mark_lost(struct expression *expr, int param, const char *key, const char *value) in mark_lost()
141 static int lost_in_va_args(struct expression *expr) in lost_in_va_args()
160 static void match_after_call(struct expression *expr) in match_after_call()
210 void mark_all_params_lost(int return_id, char *return_ranges, struct expression *expr) in mark_all_params_lost()
246 static void match_param_assign(struct expression *expr) in match_param_assign()
271 struct expression *tmp, *expr; in match_param_assign_in_asm() local
287 static void match_inline_start(struct expression *expr) in match_inline_start()
[all …]
|
| H A D | builtin.c | 33 static int evaluate_to_int_const_expr(struct expression *expr) in evaluate_to_int_const_expr()
40 static int evaluate_pure_unop(struct expression *expr) in evaluate_pure_unop()
58 static int eval_args(struct expression *expr, int n) in eval_args()
85 static int args_triadic(struct expression *expr) in args_triadic()
90 static int evaluate_choose(struct expression *expr) in evaluate_choose()
106 static int expand_expect(struct expression *expr, int cost) in expand_expect()
170 static int expand_safe_p(struct expression *expr, int cost) in expand_safe_p()
203 static int expand_bswap(struct expression *expr, int cost) in expand_bswap()
233 static int evaluate_fp_unop(struct expression *expr) in evaluate_fp_unop()
298 static int evaluate_overflow(struct expression *expr) in evaluate_overflow()
[all …]
|
| H A D | smatch_type.c | 350 struct symbol *get_type(struct expression *expr) in get_type()
391 int expr_unsigned(struct expression *expr) in expr_unsigned()
403 int expr_signed(struct expression *expr) in expr_signed()
426 int is_pointer(struct expression *expr) in is_pointer()
508 int nr_bits(struct expression *expr) in nr_bits()
518 int is_void_pointer(struct expression *expr) in is_void_pointer()
531 int is_char_pointer(struct expression *expr) in is_char_pointer()
544 int is_string(struct expression *expr) in is_string()
564 int is_static(struct expression *expr) in is_static()
581 bool is_local_variable(struct expression *expr) in is_local_variable()
[all …]
|
| H A D | check_or_vs_and.c | 25 static int does_inc_dec(struct expression *expr) in does_inc_dec()
64 static void check_or(struct expression *expr) in check_or()
81 static int is_kernel_min_macro(struct expression *expr) in is_kernel_min_macro()
98 static void check_and(struct expression *expr) in check_and()
118 static void match_logic(struct expression *expr) in match_logic()
129 static int is_unconstant_macro(struct expression *expr) in is_unconstant_macro()
141 static void match_condition(struct expression *expr) in match_condition()
166 static void match_binop(struct expression *expr) in match_binop()
|
| H A D | smatch_modification_hooks.c | 49 static struct smatch_state *alloc_my_state(struct expression *expr, struct smatch_state *prev) in alloc_my_state()
154 static void db_param_add(struct expression *expr, int param, char *key, char *value) in db_param_add()
189 static void match_assign(struct expression *expr, int late) in match_assign()
194 static void unop_expr(struct expression *expr, int late) in unop_expr()
202 static void match_call(struct expression *expr) in match_call()
221 struct expression *expr; in asm_expr() local
230 static void match_assign_early(struct expression *expr) in match_assign_early()
235 static void unop_expr_early(struct expression *expr) in unop_expr_early()
245 static void match_assign_late(struct expression *expr) in match_assign_late()
250 static void unop_expr_late(struct expression *expr) in unop_expr_late()
[all …]
|
| H A D | smatch_function_ptrs.c | 30 static char *get_from__symbol_get(struct expression *expr) in get_from__symbol_get()
53 static int xxx_is_array(struct expression *expr) in xxx_is_array()
81 static struct expression *xxx_get_array_base(struct expression *expr) in xxx_get_array_base()
93 static char *get_array_ptr(struct expression *expr) in get_array_ptr()
155 char *get_returned_ptr(struct expression *expr) in get_returned_ptr()
180 char *get_fnptr_name(struct expression *expr) in get_fnptr_name()
235 static void match_passes_function_pointer(struct expression *expr) in match_passes_function_pointer()
286 static int can_hold_function_ptr(struct expression *expr) in can_hold_function_ptr()
313 static void match_function_assign(struct expression *expr) in match_function_assign()
369 static void match_returns_function_pointer(struct expression *expr) in match_returns_function_pointer()
[all …]
|
| H A D | check_leaks.c | 68 static char *get_parent_from_expr(struct expression *expr, struct symbol **sym) in get_parent_from_expr()
83 static int is_local(struct expression *expr) in is_local()
100 static int is_param(struct expression *expr) in is_param()
122 static void match_alloc(const char *fn, struct expression *expr, void *unused) in match_alloc()
133 static void match_condition(struct expression *expr) in match_condition()
156 static void set_parent(struct expression *expr, struct smatch_state *state) in set_parent()
181 static void match_function_call(struct expression *expr) in match_function_call()
190 static void warn_if_allocated(struct expression *expr) in warn_if_allocated()
213 static void match_assign(struct expression *expr) in match_assign()
|
| H A D | check_pointer_math.c | 30 static int is_sizeof(struct expression *expr) in is_sizeof()
35 static int is_macro(struct expression *expr, const char *macro_name) in is_macro()
51 static int is_size_in_bytes(struct expression *expr) in is_size_in_bytes()
67 static void match_binop(struct expression *expr) in match_binop()
99 static void match_assign(struct expression *expr) in match_assign()
109 static void check_assign(struct expression *expr) in check_assign()
|
| H A D | smatch_type_val.c | 59 static void match_inline_end(struct expression *expr) in match_inline_end()
66 struct expression *expr; member
187 struct expression *expr; in is_ignored_fake_assignment() local
217 struct expression *expr; in is_container_of() local
233 struct expression *expr; in is_driver_data() local
265 struct expression *expr; in is_ignored_macro() local
305 struct expression *expr; in is_ignored_function() local
348 struct expression *expr; in is_uncasted_pointer_assign() local
420 struct expression *expr, *right; in is_uncasted_fn_param_from_db() local
558 static void unop_expr(struct expression *expr) in unop_expr()
[all …]
|
| H A D | show-parse.c | 778 static int show_comma(struct expression *expr) in show_comma()
784 static int show_binop(struct expression *expr) in show_binop()
807 static int show_slice(struct expression *expr) in show_slice()
873 struct expression *expr = stmt->ret_value; in show_return_stmt() local
902 static int show_access(struct expression *expr) in show_access()
924 static int show_preop(struct expression *expr) in show_preop()
938 static int show_postop(struct expression *expr) in show_postop()
964 struct expression *expr = sym->initializer; in show_symbol_init() local
1001 static int show_value(struct expression *expr) in show_value()
1102 struct expression *expr = sym->initializer; in show_symbol_expr_init() local
[all …]
|
| H A D | check_uninitialized.c | 80 static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct sm… in extra_mod_hook()
89 static void match_assign(struct expression *expr) in match_assign()
98 static void match_negative_comparison(struct expression *expr) in match_negative_comparison()
133 static int is_initialized(struct expression *expr) in is_initialized()
148 static void match_dereferences(struct expression *expr) in match_dereferences()
169 static void match_condition(struct expression *expr) in match_condition()
189 static void match_call(struct expression *expr) in match_call()
233 static void match_call_struct_members(struct expression *expr) in match_call_struct_members()
274 static int is_being_modified(struct expression *expr) in is_being_modified()
299 static void match_symbol(struct expression *expr) in match_symbol()
[all …]
|
| H A D | check_readl_infinite_loops.c | 33 static int is_readl_call(struct expression *expr) in is_readl_call()
50 static int is_readl(struct expression *expr) in is_readl()
59 static void match_assign(struct expression *expr) in match_assign()
67 static int condition_depends_on_readl(struct expression *expr) in condition_depends_on_readl()
81 static void check_condition(struct expression *expr) in check_condition()
91 static void match_return(struct expression *expr) in match_return()
|
| H A D | smatch_fresh_alloc.c | 104 bool is_fresh_alloc(struct expression *expr) in is_fresh_alloc()
130 static void record_alloc_func(int return_id, char *return_ranges, struct expression *expr) in record_alloc_func()
137 static void set_unfresh(struct expression *expr) in set_unfresh()
150 static void match_assign(struct expression *expr) in match_assign()
155 static void match_call(struct expression *expr) in match_call()
165 static void set_fresh(struct expression *expr) in set_fresh()
183 static void returns_fresh_alloc(struct expression *expr, int param, char *key, char *value) in returns_fresh_alloc()
193 static void match_alloc(const char *fn, struct expression *expr, void *_size_arg) in match_alloc()
|
| H A D | smatch_strlen.c | 61 static void match_string_assignment(struct expression *expr) in match_string_assignment()
72 static void match_strlen(const char *fn, struct expression *expr, void *unused) in match_strlen()
95 static void match_strlen_condition(struct expression *expr) in match_strlen_condition()
165 static void match_snprintf(const char *fn, struct expression *expr, void *unused) in match_snprintf()
207 static void match_strcpy(const char *fn, struct expression *expr, void *unused) in match_strcpy()
223 static int get_strlen_from_string(struct expression *expr, struct range_list **rl) in get_strlen_from_string()
235 static int get_strlen_from_state(struct expression *expr, struct range_list **rl) in get_strlen_from_state()
246 static int get_strlen_from_equiv(struct expression *expr, struct range_list **rl) in get_strlen_from_equiv()
261 int get_implied_strlen(struct expression *expr, struct range_list **rl) in get_implied_strlen()
277 int get_size_from_strlen(struct expression *expr) in get_size_from_strlen()
[all …]
|
| /illumos-gate/usr/src/cmd/hal/hald/ |
| H A D | logger.h | 67 #define HAL_TRACE(expr) do {logger_setup(HAL_LOGPRI_TRACE, __FILE__, __LINE__, __FUNCTION__); l… argument
70 #define HAL_DEBUG(expr) do {logger_setup(HAL_LOGPRI_DEBUG, __FILE__, __LINE__, __FUNCTION__); l… argument
73 #define HAL_INFO(expr) do {logger_setup(HAL_LOGPRI_INFO, __FILE__, __LINE__, __FUNCTION__); l… argument
76 #define HAL_WARNING(expr) do {logger_setup(HAL_LOGPRI_WARNING, __FILE__, __LINE__, __FUNCTION__); l… argument
79 #define HAL_ERROR(expr) do {logger_setup(HAL_LOGPRI_ERROR, __FILE__, __LINE__, __FUNCTION__); l… argument
82 #define DIE(expr) do {printf("*** [DIE] %s:%s():%d : ", __FILE__, __FUNCTION__, __LINE__); printf e… argument
|