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 --- prog/any.go | 1 - 1 file changed, 1 deletion(-) (limited to 'prog/any.go') diff --git a/prog/any.go b/prog/any.go index 858220440..b99e64932 100644 --- a/prog/any.go +++ b/prog/any.go @@ -250,7 +250,6 @@ func (target *Target) squashResult(arg *ResultArg, elems *[]Arg) { panic("bad") } arg.ref = typ.ref() - arg.dir = DirIn *elems = append(*elems, MakeUnionArg(target.any.union, DirIn, arg, index)) } -- cgit mrf-deployment