Merge pull request #13997 from ziglang/stage1-test-coverage

add behavior test coverage
This commit is contained in:
Andrew Kelley 2022-12-19 01:11:35 -05:00 committed by GitHub
commit 3bfae2a0d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 52 additions and 0 deletions

View File

@ -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

View File

@ -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