Symbol: SPECIAL_NOTEQUAL
usr/src/tools/smatch/src/check_double_checking.c
49
expr->op == SPECIAL_NOTEQUAL)) {
usr/src/tools/smatch/src/check_get_user_overflow.c
73
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/check_impossible_mask.c
92
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/check_or_vs_and.c
71
if (left->type != EXPR_COMPARE || left->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/check_or_vs_and.c
73
if (right->type != EXPR_COMPARE || right->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
29
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/compile-i386.c
1247
case SPECIAL_NOTEQUAL: opname = "setne"; break;
usr/src/tools/smatch/src/evaluate.c
1085
if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
usr/src/tools/smatch/src/evaluate.c
1116
if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
usr/src/tools/smatch/src/evaluate.c
2859
expr->op = SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/evaluate.c
458
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/expand.c
339
case SPECIAL_NOTEQUAL: expr->value = l != r; break;
usr/src/tools/smatch/src/expand.c
415
case SPECIAL_NOTEQUAL: expr->value = l != r; break;
usr/src/tools/smatch/src/expand.c
514
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/expression.c
816
(op == SPECIAL_EQUAL) || (op == SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/linearize.c
1747
[SPECIAL_NOTEQUAL] = OP_SET_NE,
usr/src/tools/smatch/src/smatch_bits.c
311
expr->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/smatch_capped.c
186
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_comparison.c
118
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_comparison.c
119
return SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_comparison.c
150
return SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_comparison.c
151
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_comparison.c
2404
*op = SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_comparison.c
349
return SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_comparison.c
462
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_comparison.c
493
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_comparison.c
532
return SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_conditions.c
96
if (expr->op == SPECIAL_NOTEQUAL) {
usr/src/tools/smatch/src/smatch_constraints.c
391
expr->op == SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/smatch_extra.c
2202
function_comparison(expr, SPECIAL_NOTEQUAL, zero_expr());
usr/src/tools/smatch/src/smatch_extra.c
2207
handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr());
usr/src/tools/smatch/src/smatch_extra.c
2265
return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val));
usr/src/tools/smatch/src/smatch_extra.c
721
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_extra.c
743
condition->op == SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/smatch_extra.c
773
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_implied.c
805
separate_and_filter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_true, implied_false, &mixed);
usr/src/tools/smatch/src/smatch_impossible.c
67
handle_compare(expr, SPECIAL_NOTEQUAL, zero_expr());
usr/src/tools/smatch/src/smatch_kernel_user_data.c
798
expr->op == SPECIAL_NOTEQUAL) {
usr/src/tools/smatch/src/smatch_nul_terminator.c
282
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
usr/src/tools/smatch/src/smatch_nul_terminator.c
300
(expr->op == SPECIAL_NOTEQUAL) ? &terminated : NULL);
usr/src/tools/smatch/src/smatch_nul_terminator.c
304
(expr->op == SPECIAL_NOTEQUAL) ? &terminated : NULL);
usr/src/tools/smatch/src/smatch_param_compare_limit.c
257
*op = SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_ranges.c
1157
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_ranges.c
1211
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_ranges.c
2140
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_ranges.c
243
*comparison = SPECIAL_NOTEQUAL;
usr/src/tools/smatch/src/smatch_ranges.c
391
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/smatch_strlen.c
149
case SPECIAL_NOTEQUAL:
usr/src/tools/smatch/src/tokenize.c
723
CODE('!', '=', SPECIAL_NOTEQUAL), /* 0e */