translate-c incorrectly lowers (expr1, bool_expr) as bool, causing assignment to int to fail

[Yeaseen]

Zig Version

0.14.0-dev.3271+bd237bced

Steps to Reproduce and Observed Behavior

C code to reproduce

int main() {
    int a = 1, b = 0, c;
    c = ((a = b), (1 && 1));
    return 0;
}

Translated Zig code:

pub export fn main() c_int {
    var a: c_int = 1;
    _ = &a;
    var b: c_int = 0;
    _ = &b;
    var c: c_int = undefined;
    _ = &c;
    var p: [*c]c_int = &a;
    _ = &p;
    var q: [*c]c_int = null;
    _ = &q;
    c = blk: {
        _ = blk_1: {
            const tmp = b;
            a = tmp;
            break :blk_1 tmp;
        };
        break :blk true and true;
    };
    return 0;
}

Zig build failure:

runner.zig:74:25: error: expected type 'c_int', found 'bool'
        break :blk true and true;
                   ~~~~~^~~~~~~~

Zig's translate-c incorrectly lowers comma expressions like (a = b, 1 && 1) into a boolean result, even when assigned to an int. This leads to a type mismatch error:

Expected Behavior

Expected Behavior

The translated Zig code should preserve C's semantics, where logical expressions like 1 && 1 evaluate to 1 (of type int). When used in a comma expression and assigned to an int, the result should be treated as an int, not a bool.

I will close if this is a duplicate.