From 746f61e725ad2460e3f101b5e8899105ddea08a1 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Wed, 20 Sep 2023 14:35:47 +0200 Subject: prog: preserve inout direction during squashing Prohibit arg direction from being DirIn if other calls use the resource as input. Fix one case where we used to violate it - during argument squashing. Reported-by: John Miller --- pkg/compiler/types.go | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'pkg/compiler') diff --git a/pkg/compiler/types.go b/pkg/compiler/types.go index 095791adb..85a5bd527 100644 --- a/pkg/compiler/types.go +++ b/pkg/compiler/types.go @@ -1110,8 +1110,8 @@ ANYUNION [ ] [varlen] ANYPTRS [ - ANYPTR ptr[in, array[ANYUNION]] - ANYPTR64 ptr64[in, array[ANYUNION]] + ANYPTR ptr[inout, array[ANYUNION]] + ANYPTR64 ptr64[inout, array[ANYUNION]] ] resource ANYRES8[int8]: -1, 0 -- cgit mrf-deployment