diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2017-08-01 18:30:20 +0200 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@google.com> | 2017-08-01 18:38:20 +0200 |
| commit | 1172db0ccf077bbfef7ddd176ced61c7140cb698 (patch) | |
| tree | d488163d92a1212d94bb8f6f65be7e9b8172cb7e /sys/test.txt | |
| parent | 0b4392111b2785bac5b780848a5a88cc87bfd419 (diff) | |
prog: fix encoding for exec of result args
ResultArg might have const value.
Also add a test.
Diffstat (limited to 'sys/test.txt')
| -rw-r--r-- | sys/test.txt | 7 |
1 files changed, 7 insertions, 0 deletions
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) |