SPECIAL_EQUAL
(expr->op == SPECIAL_EQUAL ||
if (!possibly_true_rl(rl, SPECIAL_EQUAL, err_ptr_rl))
if (!estate || !possibly_true_rl(estate_rl(estate), SPECIAL_EQUAL, err_ptr_rl))
case SPECIAL_EQUAL:
expr->op == SPECIAL_EQUAL ? "false" : "true");
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
if (!possible_comparison(size, SPECIAL_EQUAL, offset))
if (left->type != EXPR_COMPARE || left->op != SPECIAL_EQUAL)
if (right->type != EXPR_COMPARE || right->op != SPECIAL_EQUAL)
success = compare_expression(expr->left, SPECIAL_EQUAL, expr->right);
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
case SPECIAL_EQUAL: opname = "sete"; break;
if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
int positive = expr->op == SPECIAL_EQUAL;
if (expr->op == SPECIAL_EQUAL || expr->op == SPECIAL_NOTEQUAL) {
expr->op = SPECIAL_EQUAL;
if (!restricted_binop_type(SPECIAL_EQUAL, case_expr, switch_expr,
case SPECIAL_EQUAL:
case SPECIAL_EQUAL: expr->value = l == r; break;
case SPECIAL_EQUAL: expr->value = l == r; break;
case SPECIAL_EQUAL:
expr->op = SPECIAL_EQUAL;
(op == SPECIAL_EQUAL) || (op == SPECIAL_NOTEQUAL)
[SPECIAL_EQUAL] = OP_SET_EQ,
if (expr->op != SPECIAL_EQUAL &&
(expr->op == SPECIAL_EQUAL) ? alloc_bstate(val.uvalue, val.uvalue) : NULL,
(expr->op == SPECIAL_EQUAL) ? NULL : alloc_bstate(val.uvalue, val.uvalue));
if (!possible_comparison(size, SPECIAL_EQUAL, offset))
comparison == SPECIAL_EQUAL))
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
return SPECIAL_EQUAL;
SPECIAL_EQUAL,
false_op = SPECIAL_EQUAL;
false_op = SPECIAL_EQUAL;
case SPECIAL_EQUAL:
return SPECIAL_EQUAL;
add_comparison(expr->left, SPECIAL_EQUAL, expr->right);
return SPECIAL_EQUAL;
if (strcmp(one, two) == 0 && comparison == SPECIAL_EQUAL) {
if (comparison == SPECIAL_EQUAL &&
return SPECIAL_EQUAL;
*op = SPECIAL_EQUAL;
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
return SPECIAL_EQUAL;
SPECIAL_EQUAL,
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
if (parent->type != EXPR_COMPARE || parent->op != SPECIAL_EQUAL)
if (expr->op == SPECIAL_EQUAL) {
if (expr->op == SPECIAL_EQUAL ||
undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr()));
case SPECIAL_EQUAL:
if (possibly_true_rl(passed, SPECIAL_EQUAL, limit))
if (possibly_true_rl(range_rl, SPECIAL_EQUAL, estate_rl(db_info->ret_state)))
separate_and_filter(sm, SPECIAL_EQUAL, rl, *raw_stree, &true_states, &false_states, NULL);
expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL,
expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty());
expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL,
expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty());
if (expr->op == SPECIAL_EQUAL ||
case SPECIAL_EQUAL:
if (expr->op == SPECIAL_EQUAL && expr->left->type == EXPR_TYPE) {
if (expr->op != SPECIAL_EQUAL && expr->op != SPECIAL_NOTEQUAL)
(expr->op == SPECIAL_EQUAL) ? &terminated : NULL,
(expr->op == SPECIAL_EQUAL) ? &terminated : NULL,
*op = SPECIAL_EQUAL;
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
*comparison = SPECIAL_EQUAL;
*comparison = SPECIAL_EQUAL;
case SPECIAL_EQUAL:
case SPECIAL_EQUAL:
CODE('=', '=', SPECIAL_EQUAL), /* 15 */