authorgravatar for justus@klausecker.deJustus Klausecker <justus@klausecker.de> 2026-01-10 14:24:28+01:00
committergravatar for mlugg@mlugg.co.ukMatthew Lugg <mlugg@mlugg.co.uk> 2026-01-11 11:37:17+00:00
log0b3b536f18957979374a00b2411943b4a37beb0f
treeac42937860e7fdeb6e788f76e862f5720a064d9c
parentbce7e7a52ba4dd9b46184925547b40ecedee63b6
signaturelock-open Commit is signed but in an unrecognized format.

test: re-enable packed struct field type behavior test

With new code courtesy of mlugg

1 files changed, 14 insertions(+), 30 deletions(-)

test/behavior/packed-struct.zig+14-30
...@@ -513,37 +513,21 @@ test "@intFromPtr on a packed struct field unaligned and nested" {...@@ -513,37 +513,21 @@ test "@intFromPtr on a packed struct field unaligned and nested" {
513 };513 };
514 };514 };
515515
516 if (false) {516 {
517 switch (comptime @alignOf(S2)) {517 const a = @alignOf(S2);
518 4 => {518 comptime assert(@TypeOf(&S2.s.base) == *align(a:0:8) u8);
519 comptime assert(@TypeOf(&S2.s.base) == *align(4) u8);519 comptime assert(@TypeOf(&S2.s.p0.a) == *align(a:8:8) u4);
520 comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4);520 comptime assert(@TypeOf(&S2.s.p0.b) == *align(a:12:8) u4);
521 comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4);521 comptime assert(@TypeOf(&S2.s.p0.c) == *align(a:16:8) u8);
522 comptime assert(@TypeOf(&S2.s.p0.c) == *u8);522 comptime assert(@TypeOf(&S2.s.bit0) == *align(a:24:8) u1);
523 comptime assert(@TypeOf(&S2.s.bit0) == *align(4:24:8) u1);523 comptime assert(@TypeOf(&S2.s.p1.a) == *align(a:25:8) u8);
524 comptime assert(@TypeOf(&S2.s.p1.a) == *align(4:25:8) u8);524 comptime assert(@TypeOf(&S2.s.p2.a) == *align(a:33:8) u7);
525 comptime assert(@TypeOf(&S2.s.p2.a) == *align(4:33:8) u7);525 comptime assert(@TypeOf(&S2.s.p2.b) == *align(a:40:8) u8);
526 comptime assert(@TypeOf(&S2.s.p2.b) == *u8);526 comptime assert(@TypeOf(&S2.s.p3.a) == *align(a:48:8) u4);
527 comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4);527 comptime assert(@TypeOf(&S2.s.p3.b) == *align(a:52:8) u4);
528 comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4);528 comptime assert(@TypeOf(&S2.s.p3.c) == *align(a:56:8) u8);
529 comptime assert(@TypeOf(&S2.s.p3.c) == *u8);
530 },
531 8 => {
532 comptime assert(@TypeOf(&S2.s.base) == *align(8) u8);
533 comptime assert(@TypeOf(&S2.s.p0.a) == *align(1:0:2) u4);
534 comptime assert(@TypeOf(&S2.s.p0.b) == *align(1:4:2) u4);
535 comptime assert(@TypeOf(&S2.s.p0.c) == *u8);
536 comptime assert(@TypeOf(&S2.s.bit0) == *align(8:24:8) u1);
537 comptime assert(@TypeOf(&S2.s.p1.a) == *align(8:25:8) u8);
538 comptime assert(@TypeOf(&S2.s.p2.a) == *align(8:33:8) u7);
539 comptime assert(@TypeOf(&S2.s.p2.b) == *u8);
540 comptime assert(@TypeOf(&S2.s.p3.a) == *align(2:0:2) u4);
541 comptime assert(@TypeOf(&S2.s.p3.b) == *align(2:4:2) u4);
542 comptime assert(@TypeOf(&S2.s.p3.c) == *u8);
543 },
544 else => {},
545 }
546 }529 }
530
547 try expect(@intFromPtr(&S2.s.base) - @intFromPtr(&S2.s) == 0);531 try expect(@intFromPtr(&S2.s.base) - @intFromPtr(&S2.s) == 0);
548 try expect(@intFromPtr(&S2.s.p0.a) - @intFromPtr(&S2.s) == 0);532 try expect(@intFromPtr(&S2.s.p0.a) - @intFromPtr(&S2.s) == 0);
549 try expect(@intFromPtr(&S2.s.p0.b) - @intFromPtr(&S2.s) == 0);533 try expect(@intFromPtr(&S2.s.p0.b) - @intFromPtr(&S2.s) == 0);