From 09ee887e9f08ad1f8124dc57ac3bd2f0df9148b5 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Sun, 18 Dec 2022 13:57:17 -0700 Subject: [PATCH 1/2] add behavior test for comptime pointer casting closes #1150 closes #1292 closes #4093 --- test/behavior/ptrcast.zig | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/test/behavior/ptrcast.zig b/test/behavior/ptrcast.zig index 982a0b862f8a..f25161ece86b 100644 --- a/test/behavior/ptrcast.zig +++ b/test/behavior/ptrcast.zig @@ -203,6 +203,37 @@ test "comptime ptrcast keeps larger alignment" { } } +test "ptrcast of const integer has the correct object size" { + const is_value = ~@intCast(isize, std.math.minInt(isize)); + const is_bytes = @ptrCast([*]const u8, &is_value)[0..@sizeOf(isize)]; + if (@sizeOf(isize) == 8) { + switch (native_endian) { + .Little => { + try expect(is_bytes[0] == 0xff); + try expect(is_bytes[1] == 0xff); + try expect(is_bytes[2] == 0xff); + try expect(is_bytes[3] == 0xff); + + try expect(is_bytes[4] == 0xff); + try expect(is_bytes[5] == 0xff); + try expect(is_bytes[6] == 0xff); + try expect(is_bytes[7] == 0x7f); + }, + .Big => { + try expect(is_bytes[0] == 0x7f); + try expect(is_bytes[1] == 0xff); + try expect(is_bytes[2] == 0xff); + try expect(is_bytes[3] == 0xff); + + try expect(is_bytes[4] == 0xff); + try expect(is_bytes[5] == 0xff); + try expect(is_bytes[6] == 0xff); + try expect(is_bytes[7] == 0xff); + }, + } + } +} + test "implicit optional pointer to optional anyopaque pointer" { if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest; // TODO if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO From 6018a3ad397ad2104762b1c548866c2c2df2ac77 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Sun, 18 Dec 2022 14:18:00 -0700 Subject: [PATCH 2/2] add behavior test for empty error set inference closes #1386 closes #7541 --- test/behavior/error.zig | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/test/behavior/error.zig b/test/behavior/error.zig index ae1445dd9e54..f5bf6493d88c 100644 --- a/test/behavior/error.zig +++ b/test/behavior/error.zig @@ -287,6 +287,27 @@ test "inferred empty error set comptime catch" { S.foo() catch @compileError("fail"); } +test "error inference with an empty set" { + const S = struct { + const Struct = struct { + pub fn func() (error{})!usize { + return 0; + } + }; + + fn AnotherStruct(comptime SubStruct: type) type { + return struct { + fn anotherFunc() !void { + try expect(0 == (try SubStruct.func())); + } + }; + } + }; + + const GeneratedStruct = S.AnotherStruct(S.Struct); + try GeneratedStruct.anotherFunc(); +} + test "error union peer type resolution" { if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest; // TODO if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO