From 1172db0ccf077bbfef7ddd176ced61c7140cb698 Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Tue, 1 Aug 2017 18:30:20 +0200
Subject: prog: fix encoding for exec of result args

ResultArg might have const value.

Also add a test.
---
 sys/test.txt | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'sys/test.txt')

diff --git a/sys/test.txt b/sys/test.txt
index af664e4d6..b0d1a7f79 100644
--- a/sys/test.txt
+++ b/sys/test.txt
@@ -507,3 +507,10 @@ syz_recur_2 {
 syz_test$recur0(a0 ptr[inout, syz_recur_0])
 syz_test$recur1(a0 ptr[inout, syz_recur_1])
 syz_test$recur2(a0 ptr[inout, syz_recur_2])
+
+# Resources.
+
+resource syz_res[int32]: 0xffff
+
+syz_test$res0() syz_res
+syz_test$res1(a0 syz_res)
-- 
cgit mrf-deployment