1 files changed, 9 insertions, 0 deletions
diff --git a/tests/various/const_arg_loop.v b/tests/various/const_arg_loop.v
index 3bfff4acd..76cc67abb 100644
--- a/tests/various/const_arg_loop.v
+++ b/tests/various/const_arg_loop.v
@@ -14,6 +14,11 @@ module top;
 		end
 	endfunction
 
+	function automatic [31:0] pass_through;
+		input [31:0] inp;
+		pass_through = inp;
+	endfunction
+
 	function automatic [31:0] operation2;
 		input [4:0] var;
 		input integer num;
@@ -47,6 +52,9 @@ module top;
 	wire [31:0] x1;
 	assign x1 = operation1(A, a);
 
+	wire [31:0] x1b;
+	assign x1b = operation1(pass_through(A), a);
+
 	wire [31:0] x2;
 	assign x2 = operation2(A, a);
 
@@ -58,6 +66,7 @@ module top;
     assert property (a == 2);
     assert property (A == 3);
     assert property (x1 == 16);
+    assert property (x1b == 16);
     assert property (x2 == 4);
     assert property (x3 == 16);
 `endif