aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/runtime_safety.zig48
1 files changed, 48 insertions, 0 deletions
diff --git a/test/runtime_safety.zig b/test/runtime_safety.zig
index 17f0f3230c..d278407ee1 100644
--- a/test/runtime_safety.zig
+++ b/test/runtime_safety.zig
@@ -1,6 +1,54 @@
const tests = @import("tests.zig");
pub fn addCases(cases: *tests.CompareOutputContext) void {
+ cases.addRuntimeSafety("resuming a non-suspended function which never been suspended",
+ \\pub fn panic(message: []const u8, stack_trace: ?*@import("builtin").StackTrace) noreturn {
+ \\ @import("std").os.exit(126);
+ \\}
+ \\fn foo() void {
+ \\ var f = async bar(@frame());
+ \\ @import("std").os.exit(0);
+ \\}
+ \\
+ \\fn bar(frame: anyframe) void {
+ \\ suspend {
+ \\ resume frame;
+ \\ }
+ \\ @import("std").os.exit(0);
+ \\}
+ \\
+ \\pub fn main() void {
+ \\ _ = async foo();
+ \\}
+ );
+
+ cases.addRuntimeSafety("resuming a non-suspended function which has been suspended and resumed",
+ \\pub fn panic(message: []const u8, stack_trace: ?*@import("builtin").StackTrace) noreturn {
+ \\ @import("std").os.exit(126);
+ \\}
+ \\fn foo() void {
+ \\ suspend {
+ \\ global_frame = @frame();
+ \\ }
+ \\ var f = async bar(@frame());
+ \\ @import("std").os.exit(0);
+ \\}
+ \\
+ \\fn bar(frame: anyframe) void {
+ \\ suspend {
+ \\ resume frame;
+ \\ }
+ \\ @import("std").os.exit(0);
+ \\}
+ \\
+ \\var global_frame: anyframe = undefined;
+ \\pub fn main() void {
+ \\ _ = async foo();
+ \\ resume global_frame;
+ \\ @import("std").os.exit(0);
+ \\}
+ );
+
cases.addRuntimeSafety("noasync function call, callee suspends",
\\pub fn panic(message: []const u8, stack_trace: ?*@import("builtin").StackTrace) noreturn {
\\ @import("std").os.exit(126);