public void AddOutParam(Identifier idOrig) { if (ret == null) { ret = idOrig; } else { //$REVIEW: out arguments are weird, as they are synthetic. It's possible that // future versions of reko will opt to model multiple values return from functions // explicitly instead of using destructive updates of this kind. var arg = binder.EnsureOutArgument(idOrig, PrimitiveType.Create(Domain.Pointer, arch.FramePointerType.Size)); args.Add(arg); } }