DFA: We are not allowed to take ownership of parameters

1 files changed, 2 insertions, 1 deletions

diff --git a/compiler/dfa.nim b/compiler/dfa.nim
index 436fd699f..656e3013b 100644
--- a/compiler/dfa.nim
+++ b/compiler/dfa.nim
@@ -633,7 +633,8 @@ proc isAnalysableFieldAccess*(n: PNode; owner: PSym): bool =
       break
   # XXX Allow closure deref operations here if we know
   # the owner controlled the closure allocation?
-  result = n.kind == nkSym and n.sym.owner == owner and owner.kind != skModule
+  result = n.kind == nkSym and n.sym.owner == owner and
+    owner.kind != skModule and (n.sym.kind != skParam or isSinkParam(n.sym))
 
 proc genDef(c: var Con; n: PNode) =
   if n.kind == nkSym and n.sym.kind in InterestingSyms: