diff options
Diffstat (limited to 'compiler/aliasanalysis.nim')
| -rw-r--r-- | compiler/aliasanalysis.nim | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/compiler/aliasanalysis.nim b/compiler/aliasanalysis.nim index 22a66e4df..f14b81524 100644 --- a/compiler/aliasanalysis.nim +++ b/compiler/aliasanalysis.nim @@ -63,6 +63,8 @@ proc aliases*(obj, field: PNode): AliasKind = # x.f -> x: false # x.f -> x.f: true # x.f -> x.v: false + # x -> x[]: true + # x[] -> x: false # x -> x[0]: true # x[0] -> x: false # x[0] -> x[0]: true @@ -76,11 +78,11 @@ proc aliases*(obj, field: PNode): AliasKind = var n = n while true: case n.kind - of PathKinds0 - {nkDotExpr, nkBracketExpr}: + of PathKinds0 - {nkDotExpr, nkBracketExpr, nkDerefExpr, nkHiddenDeref}: n = n[0] of PathKinds1: n = n[1] - of nkDotExpr, nkBracketExpr: + of nkDotExpr, nkBracketExpr, nkDerefExpr, nkHiddenDeref: result.add n n = n[0] of nkSym: @@ -114,6 +116,8 @@ proc aliases*(obj, field: PNode): AliasKind = if currFieldPath.sym != currObjPath.sym: return no of nkDotExpr: if currFieldPath[1].sym != currObjPath[1].sym: return no + of nkDerefExpr, nkHiddenDeref: + discard of nkBracketExpr: if currFieldPath[1].kind in nkLiterals and currObjPath[1].kind in nkLiterals: if currFieldPath[1].intVal != currObjPath[1].intVal: |