/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 72 int comparison, in alloc_compare_state() argument 85 data->comparison = comparison; in alloc_compare_state() 1440 comparison = flip_comparison(comparison); in add_comparison_var_sym() 1490 comparison = flip_comparison(comparison); in add_comparison() 1619 comparison = data->comparison; in copy_comparisons() 1627 comparison = flip_comparison(comparison); in copy_comparisons() 1786 comparison = flip_comparison(comparison); in possible_comparison() 1934 comparison = data->comparison; in update_links_from_call() 1942 comparison = flip_comparison(comparison); in update_links_from_call() 2193 comparison = data->comparison; in match_call_info() [all …]
|
H A D | smatch_implied.c | 259 if (comparison == PARAM_LIMIT) { in possibly_true_helper() 267 return possibly_true_rl(var_rl, comparison, rl); in possibly_true_helper() 272 if (comparison == PARAM_LIMIT) { in possibly_false_helper() 280 return possibly_false_rl(var_rl, comparison, rl); in possibly_false_helper() 302 istrue = !possibly_false_helper(var_rl, comparison, rl); in do_compare() 315 if (!create_fake_history(sm, comparison, rl)) in do_compare() 739 int comparison = expr->op; in handle_comparison() local 751 comparison = flip_comparison(comparison); in handle_comparison() 1227 struct expression *comparison; in impossible_assumption() local 1231 comparison = compare_expression(left, op, value); in impossible_assumption() [all …]
|
H A D | smatch_ranges.c | 223 *comparison = SPECIAL_LTE; in str_to_comparison_arg_helper() 226 *comparison = '<'; in str_to_comparison_arg_helper() 238 *comparison = '>'; in str_to_comparison_arg_helper() 303 int comparison; in get_val_from_key() local 318 if (comparison == '<') { in get_val_from_key() 325 if (comparison == '>') { in get_val_from_key() 369 switch (comparison) { in filter_by_comparison() 408 int comparison; in filter_by_comparison_call() local 620 int comparison; in str_to_dinfo() local 1130 switch (comparison) { in true_comparison_range() [all …]
|
H A D | smatch_extra.h | 45 int str_to_comparison_arg(const char *c, struct expression *call, int *comparison, struct expressio… 63 int true_comparison_range(struct data_range *left, int comparison, struct data_range *right); 64 int true_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int le… 65 int false_comparison_range_LR(int comparison, struct data_range *var, struct data_range *val, int l… 67 int possibly_true(struct expression *left, int comparison, struct expression *right); 68 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range… 69 int possibly_true_rl_LR(int comparison, struct range_list *a, struct range_list *b, int left); 71 int possibly_false(struct expression *left, int comparison, struct expression *right); 72 int possibly_false_rl(struct range_list *left_ranges, int comparison, struct range_list *right_rang… 73 int possibly_false_rl_LR(int comparison, struct range_list *a, struct range_list *b, int left); [all …]
|
H A D | smatch_function_hooks.c | 328 if (!true_comparison_range_LR(comparison, tmp->range, value_range, left)) in call_implies_callbacks() 355 int comparison; member 655 int comparison; in db_compare_callback() local 699 comparison = db_info->comparison; in db_compare_callback() 701 comparison = flip_comparison(comparison); in db_compare_callback() 704 if (!possibly_true_rl(var_rl, comparison, ret_range)) in db_compare_callback() 708 filter_by_comparison(&var_rl, comparison, ret_range); in db_compare_callback() 709 filter_by_comparison(&ret_range, flip_comparison(comparison), var_rl); in db_compare_callback() 711 if (!possibly_false_rl(var_rl, comparison, ret_range)) in db_compare_callback() 715 filter_by_comparison(&var_rl, negate_comparison(comparison), ret_range); in db_compare_callback() [all …]
|
H A D | smatch_param_compare_limit.c | 93 int comparison, in add_comparison_var_sym() argument 108 comparison = flip_comparison(comparison); in add_comparison_var_sym() 111 state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl); in add_comparison_var_sym() 195 if (!data || !data->comparison) in print_return_comparison() 228 snprintf(info_buf, sizeof(info_buf), "%s %s", show_special(data->comparison), right_buf); in print_return_comparison()
|
H A D | smatch_buf_comparison.c | 373 int comparison; in buf_comparison_index_ok() local 380 comparison = get_comparison(offset, size); in buf_comparison_index_ok() 381 if (!comparison) in buf_comparison_index_ok() 385 (comparison == '<' || comparison == SPECIAL_UNSIGNED_LT)) in buf_comparison_index_ok() 388 (comparison == SPECIAL_LTE || in buf_comparison_index_ok() 389 comparison == SPECIAL_UNSIGNED_LTE || in buf_comparison_index_ok() 390 comparison == SPECIAL_EQUAL)) in buf_comparison_index_ok()
|
H A D | check_index_overflow.c | 270 struct expression *array_size_value, *comparison; in array_check() local 291 comparison = compare_expression(offset, SPECIAL_GTE, array_size_value); in array_check() 292 if (assume(comparison)) { in array_check()
|
H A D | opcode.def | 42 /* floating-point comparison */ 59 /* Binary comparison */
|
H A D | check_debug.c | 460 int comparison; in match_compare() local 466 comparison = get_comparison(one, two); in match_compare() 467 if (!comparison) in match_compare() 470 snprintf(buf, sizeof(buf), "%s", show_special(comparison)); in match_compare()
|
H A D | smatch_extra.c | 599 int comparison; in get_countdown_info() local 608 comparison = remove_unsigned_from_comparison(condition->op); in get_countdown_info() 610 if (comparison != SPECIAL_GTE && comparison != '>') in get_countdown_info() 622 *op = comparison; in get_countdown_info() 1081 int comparison; in match_vanilla_assign() local 1135 comparison = get_comparison_no_extra(left, right); in match_vanilla_assign() 1136 if (comparison) { in match_vanilla_assign() 1137 comparison = flip_comparison(comparison); in match_vanilla_assign() 1144 filter_by_comparison(&rl, comparison, orig_rl); in match_vanilla_assign() 1154 filter_by_comparison(&rl, comparison, orig_rl); in match_vanilla_assign()
|
H A D | smatch_kernel_user_data.c | 127 int comparison; in binop_capped() local 132 comparison = get_comparison(expr->left, expr->right); in binop_capped() 133 if (comparison && show_special(comparison)[0] == '>') in binop_capped()
|
H A D | smatch.h | 1106 int comparison; member 1115 int comparison, 1126 int possible_comparison(struct expression *a, int comparison, struct expression *b); 1140 void filter_by_comparison(struct range_list **rl, int comparison, struct range_list *right);
|
H A D | smatch_db.c | 1380 int comparison; in get_return_compare_is_param() local 1391 comparison = get_comparison_strings(var, buf); in get_return_compare_is_param() 1394 if (!comparison) in get_return_compare_is_param() 1397 snprintf(buf, sizeof(buf), "[%s$%d]", show_special(comparison), param); in get_return_compare_is_param()
|
/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/oawk/ |
H A D | EXPLAIN | 25 of initialization, comparison, and type coercion. 41 the comparison is made numerically. Otherwise, 43 the comparison is made on strings.
|
/illumos-gate/usr/src/cmd/ipf/examples/ |
H A D | example.12 | 2 # get rid of all short IP fragments (too small for valid comparison)
|
H A D | example.sr | 7 # do any meaningful comparison on. This actually only applies to TCP
|
/illumos-gate/usr/src/tools/smatch/src/Documentation/ |
H A D | arm64-detecting-tagged-addresses.txt | 12 Smatch will provide a warning when it detects that a comparison is being 37 mm/gup.c:818 __get_user_pages() warn: comparison of a potentially tagged 41 This warning tells us that on line 818 of mm/gup.c an erroneous comparison 59 to the comparison on line 818. However it's often helpful to follow the
|
/illumos-gate/usr/src/lib/libsqlite/test/ |
H A D | sort.test | 103 # inside the string comparison routines. 137 # Strings are normally mapped to upper-case for a caseless comparison.
|
/illumos-gate/usr/src/lib/libsqlite/tool/ |
H A D | speedtest.tcl | 168 runtest {100 SELECTs on a string comparison}
|
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/ |
H A D | fixup_kernel.sh | 48 /* comparison doesn't deal with chunks, I guess. */
|
/illumos-gate/usr/src/uts/common/fs/zfs/lua/ |
H A D | README.zfs | 66 pass invalid bytecode which can panic the kernel. By comparison, the parser
|
/illumos-gate/usr/src/test/zfs-tests/tests/functional/reservation/ |
H A D | reservation.shlib | 69 # do a direct comparison).
|
/illumos-gate/usr/src/common/atomic/sparc/ |
H A D | atomic.S | 578 or %o4, %o1, %o4 ! insert the comparison value 610 or %o4, %o1, %o4 ! insert the comparison value
|