| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ranges.c | 210 struct expression *call, int *comparison, in str_to_comparison_arg_helper()
288 int str_to_comparison_arg(const char *str, struct expression *call, int *comparison, struct express… in str_to_comparison_arg()
303 int comparison; in get_val_from_key() local
347 void filter_by_comparison(struct range_list **rl, int comparison, struct range_list *right) in filter_by_comparison()
408 int comparison; in filter_by_comparison_call() local
620 int comparison; in str_to_dinfo() local
1128 int true_comparison_range(struct data_range *left, int comparison, struct data_range *right) in true_comparison_range()
1172 int true_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int le… in true_comparison_range_LR()
1180 static int false_comparison_range_sval(struct data_range *left, int comparison, struct data_range *… in false_comparison_range_sval()
1224 int false_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int l… in false_comparison_range_LR()
[all …]
|
| H A D | smatch_implied.c | 139 static int create_fake_history(struct sm_state *sm, int comparison, struct range_list *rl) in create_fake_history()
257 static bool possibly_true_helper(struct range_list *var_rl, int comparison, struct range_list *rl) in possibly_true_helper()
270 static bool possibly_false_helper(struct range_list *var_rl, int comparison, struct range_list *rl) in possibly_false_helper()
287 static void do_compare(struct sm_state *sm, int comparison, struct range_list *rl, in do_compare()
346 static void __separate_pools(struct sm_state *sm, int comparison, struct range_list *rl, in __separate_pools()
387 static void separate_pools(struct sm_state *sm, int comparison, struct range_list *rl, in separate_pools()
628 static void separate_and_filter(struct sm_state *sm, int comparison, struct range_list *rl, in separate_and_filter()
739 int comparison = expr->op; in handle_comparison() local
1227 struct expression *comparison; in impossible_assumption() local
|
| H A D | smatch_comparison.c | 60 static const char *show_comparison(int comparison) in show_comparison()
72 int comparison, in alloc_compare_state()
1421 int comparison, in add_comparison_var_sym()
1458 static void add_comparison(struct expression *left, int comparison, struct expression *right) in add_comparison()
1535 int comparison; in match_assign_sub() local
1598 int comparison; in copy_comparisons() local
1759 int possible_comparison(struct expression *a, int comparison, struct expression *b) in possible_comparison()
1913 int comparison; in update_links_from_call() local
1957 int comparison; in __add_return_comparison() local
2155 int comparison; in match_call_info() local
[all …]
|
| H A D | smatch_function_hooks.c | 303 static void call_implies_callbacks(int comparison, struct expression *expr, sval_t sval, int left, … in call_implies_callbacks()
355 int comparison; member
655 int comparison; in db_compare_callback() local
736 static void compare_db_return_states_callbacks(struct expression *left, int comparison, struct expr… in compare_db_return_states_callbacks()
845 void function_comparison(struct expression *left, int comparison, struct expression *right) in function_comparison()
|
| H A D | check_index_overflow.c | 270 struct expression *array_size_value, *comparison; in array_check() local
|
| H A D | smatch_param_compare_limit.c | 93 int comparison, in add_comparison_var_sym()
|
| H A D | smatch_buf_comparison.c | 373 int comparison; in buf_comparison_index_ok() local
|
| H A D | smatch_kernel_user_data.c | 127 int comparison; in binop_capped() local
|
| H A D | check_debug.c | 460 int comparison; in match_compare() local
|
| H A D | smatch_extra.c | 599 int comparison; in get_countdown_info() local
1081 int comparison; in match_vanilla_assign() local
|
| H A D | smatch.h | 1106 int comparison; member
|
| H A D | smatch_math.c | 365 int comparison; in handle_subtract_rl() local
|
| H A D | smatch_db.c | 1380 int comparison; in get_return_compare_is_param() local
|
| /illumos-gate/usr/src/tools/smatch/src/validation/ |
| H A D | compare-null-to-int.c | 1 static unsigned int comparison = (void *)0 == 1; variable
|
| /illumos-gate/usr/src/cmd/awk_xpg4/ |
| H A D | awk3.c | 1337 comparison(NODE *np) in comparison() function
|
| /illumos-gate/usr/src/cmd/cmd-inet/usr.sbin/snoop/ |
| H A D | snoop_filter.c | 1431 comparison(char *s) in comparison() function
|