Home
last modified time | relevance | path

Searched refs:comparison (Results 1 – 25 of 51) sorted by relevance

123

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c72 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 Dsmatch_implied.c259 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 Dsmatch_ranges.c223 *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 Dsmatch_extra.h45 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 Dsmatch_function_hooks.c328 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 Dsmatch_param_compare_limit.c93 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 Dsmatch_buf_comparison.c373 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 Dcheck_index_overflow.c270 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 Dopcode.def42 /* floating-point comparison */
59 /* Binary comparison */
H A Dcheck_debug.c460 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 Dsmatch_extra.c599 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 Dsmatch_kernel_user_data.c127 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 Dsmatch.h1106 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 Dsmatch_db.c1380 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 Dcompare-null-to-int.c1 static unsigned int comparison = (void *)0 == 1; variable
/illumos-gate/usr/src/cmd/oawk/
H A DEXPLAIN25 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 Dexample.122 # get rid of all short IP fragments (too small for valid comparison)
H A Dexample.sr7 # do any meaningful comparison on. This actually only applies to TCP
/illumos-gate/usr/src/tools/smatch/src/Documentation/
H A Darm64-detecting-tagged-addresses.txt12 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 Dsort.test103 # 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 Dspeedtest.tcl168 runtest {100 SELECTs on a string comparison}
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dfixup_kernel.sh48 /* comparison doesn't deal with chunks, I guess. */
/illumos-gate/usr/src/uts/common/fs/zfs/lua/
H A DREADME.zfs66 pass invalid bytecode which can panic the kernel. By comparison, the parser
/illumos-gate/usr/src/test/zfs-tests/tests/functional/reservation/
H A Dreservation.shlib69 # do a direct comparison).
/illumos-gate/usr/src/common/atomic/sparc/
H A Datomic.S578 or %o4, %o1, %o4 ! insert the comparison value
610 or %o4, %o1, %o4 ! insert the comparison value

123