Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_nul_terminator.c282 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in match_strnlen_test()
300 (expr->op == SPECIAL_NOTEQUAL) ? &terminated : NULL); in match_strnlen_test()
304 (expr->op == SPECIAL_NOTEQUAL) ? &terminated : NULL); in match_strnlen_test()
H A Dcheck_or_vs_and.c71 if (left->type != EXPR_COMPARE || left->op != SPECIAL_NOTEQUAL) in check_or()
73 if (right->type != EXPR_COMPARE || right->op != SPECIAL_NOTEQUAL) in check_or()
H A Dsmatch_impossible.c67 handle_compare(expr, SPECIAL_NOTEQUAL, zero_expr()); in match_condition()
H A Dcheck_impossible_mask.c92 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in match_condition()
H A Dtoken.h148 SPECIAL_NOTEQUAL, enumerator
H A Dcheck_zero_to_err_ptr.c29 if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL) in is_comparison_call()
H A Dsmatch_comparison.c118 case SPECIAL_NOTEQUAL: in flip_comparison()
119 return SPECIAL_NOTEQUAL; in flip_comparison()
150 return SPECIAL_NOTEQUAL; in negate_comparison()
151 case SPECIAL_NOTEQUAL: in negate_comparison()
349 return SPECIAL_NOTEQUAL; in merge_comparisons()
462 case SPECIAL_NOTEQUAL: in comparison_intersection()
493 case SPECIAL_NOTEQUAL: in comparison_intersection()
532 return SPECIAL_NOTEQUAL; in comparison_intersection()
2404 *op = SPECIAL_NOTEQUAL; in parse_comparison()
H A Dcheck_get_user_overflow.c73 case SPECIAL_NOTEQUAL: in match_condition()
H A Dcheck_double_checking.c49 expr->op == SPECIAL_NOTEQUAL)) { in strip_condition()
H A Dexpand.c339 case SPECIAL_NOTEQUAL: expr->value = l != r; break; in simplify_cmp_binop()
415 case SPECIAL_NOTEQUAL: expr->value = l != r; break; in simplify_float_cmp()
514 case SPECIAL_NOTEQUAL: in compare_types()
H A Dsmatch_capped.c186 case SPECIAL_NOTEQUAL: in match_condition()
H A Dsmatch_param_compare_limit.c257 *op = SPECIAL_NOTEQUAL; in parse_comparison()
H A Dsmatch_strlen.c149 case SPECIAL_NOTEQUAL: in match_strlen_condition()
H A Dsmatch_ranges.c243 *comparison = SPECIAL_NOTEQUAL; in str_to_comparison_arg_helper()
391 case SPECIAL_NOTEQUAL: in filter_by_comparison()
1157 case SPECIAL_NOTEQUAL: in true_comparison_range()
1211 case SPECIAL_NOTEQUAL: in false_comparison_range_sval()
2140 case SPECIAL_NOTEQUAL: in split_comparison_rl()
H A Dsmatch_extra.c721 case SPECIAL_NOTEQUAL: in handle_canonical_for_inc()
743 condition->op == SPECIAL_NOTEQUAL) in handle_canonical_for_inc()
773 case SPECIAL_NOTEQUAL: in handle_canonical_for_dec()
2202 function_comparison(expr, SPECIAL_NOTEQUAL, zero_expr()); in __extra_match_condition()
2207 handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr()); in __extra_match_condition()
2265 return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val)); in implied_not_equal()
H A Dsmatch_bits.c311 expr->op != SPECIAL_NOTEQUAL) in match_compare()
H A Dsmatch_constraints.c391 expr->op == SPECIAL_NOTEQUAL) in match_condition()
H A Dsmatch_conditions.c96 if (expr->op == SPECIAL_NOTEQUAL) { in handle_zero_comparisons()
H A Devaluate.c458 case SPECIAL_NOTEQUAL: in restricted_binop()
1085 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) { in evaluate_compare()
1116 if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) { in evaluate_compare()
2859 expr->op = SPECIAL_NOTEQUAL; in cast_to_bool()
H A Dtokenize.c723 CODE('!', '=', SPECIAL_NOTEQUAL), /* 0e */
H A Dexpression.c816 (op == SPECIAL_EQUAL) || (op == SPECIAL_NOTEQUAL) in equality_expression()
H A Dsmatch_implied.c805 …separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_str… in handle_zero_comparison()
H A Dsmatch_kernel_user_data.c798 expr->op == SPECIAL_NOTEQUAL) { in match_condition()
H A Dcompile-i386.c1247 case SPECIAL_NOTEQUAL: opname = "setne"; break; in emit_compare()
H A Dlinearize.c1747 [SPECIAL_NOTEQUAL] = OP_SET_NE, in linearize_compare()