From 486551ef3edb75d05524dcee33fe8f7ecbc4b99e Mon Sep 17 00:00:00 2001 From: Kamil Danecki Date: Thu, 26 Mar 2026 15:14:23 +0100 Subject: [PATCH] Add test case Signed-off-by: Kamil Danecki --- test_regress/t/t_timing_func_fork_bad.out | 36 +++++++++++++---------- test_regress/t/t_timing_func_fork_bad.v | 7 +++++ 2 files changed, 27 insertions(+), 16 deletions(-) diff --git a/test_regress/t/t_timing_func_fork_bad.out b/test_regress/t/t_timing_func_fork_bad.out index f6cd4adb5..a605bf784 100644 --- a/test_regress/t/t_timing_func_fork_bad.out +++ b/test_regress/t/t_timing_func_fork_bad.out @@ -7,36 +7,40 @@ : ... note: In instance 't' 14 | o1 = 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:22:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:22:7: Writing to an output automatic variable of a task after a timing control is not allowed : ... note: In instance 't' - 22 | f2 = #5 0; + 22 | o1 = 0; + | ^~ +%Error: t/t_timing_func_fork_bad.v:29:9: Writing to an output automatic variable of a function after a timing control is not allowed + : ... note: In instance 't' + 29 | f2 = #5 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:24:9: Writing to an inout automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:31:9: Writing to an inout automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 24 | io2 = 0; + 31 | io2 = 0; | ^~~ -%Error: t/t_timing_func_fork_bad.v:34:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:41:9: Writing to an output automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 34 | f3 = 0; + 41 | f3 = 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:35:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:42:9: Writing to an output automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 35 | o3 = 0; + 42 | o3 = 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:43:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:50:9: Writing to an output automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 43 | f4 = @e 0; + 50 | f4 = @e 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:45:9: Writing to an inout automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:52:9: Writing to an inout automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 45 | io4 = 0; + 52 | io4 = 0; | ^~~ -%Error: t/t_timing_func_fork_bad.v:56:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:63:9: Writing to an output automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 56 | f5 = 0; + 63 | f5 = 0; | ^~ -%Error: t/t_timing_func_fork_bad.v:57:9: Writing to an output automatic variable of a function after a timing control is not allowed +%Error: t/t_timing_func_fork_bad.v:64:9: Writing to an output automatic variable of a function after a timing control is not allowed : ... note: In instance 't' - 57 | o5 = 0; + 64 | o5 = 0; | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_timing_func_fork_bad.v b/test_regress/t/t_timing_func_fork_bad.v index d0e35c8b5..ff480632f 100644 --- a/test_regress/t/t_timing_func_fork_bad.v +++ b/test_regress/t/t_timing_func_fork_bad.v @@ -16,6 +16,13 @@ module t; join_none endfunction + task automatic t1(output int o1); + fork begin + #1 $stop; + o1 = 0; + end join_none + endtask + function automatic int f2(inout io2); fork begin