Avoid promote-to-int in equality checking

tyfkda · tyfkda · commit 3630becd24be · 2026-03-29T08:48:44.000+09:00
diff --git a/src/cc/frontend/expr.c b/src/cc/frontend/expr.c
@@ -1209,7 +1209,7 @@ Expr *make_expr_cmp(enum ExprKind kind, const Token *tok, Expr *lhs, Expr *rhs)
         } else {
           bool lu = lt->fixnum.is_unsigned;
           bool ru = rt->fixnum.is_unsigned;
-          make_int = lu != ru;
+          make_int = lu != ru && kind > EX_NE;
         }
       }
       if (!(is_fixnum(lt) && is_fixnum(rt)) || !(lc || rc)) {

Original file line number	Diff line number	Diff line change
`@@ -1209,7 +1209,7 @@ Expr make_expr_cmp(enum ExprKind kind, const Token tok, Expr lhs, Expr rhs)`
`1209`	`1209`	`} else {`
`1210`	`1210`	`bool lu = lt->fixnum.is_unsigned;`
`1211`	`1211`	`bool ru = rt->fixnum.is_unsigned;`
`1212`		`- make_int = lu != ru;`
	`1212`	`+ make_int = lu != ru && kind > EX_NE;`
`1213`	`1213`	`}`
`1214`	`1214`	`}`
`1215`	`1215`	`if (!(is_fixnum(lt) && is_fixnum(rt)) \|\| !(lc \|\| rc)) {`