Improve Go memory aliasing rule
Current Go memory aliasing rule detects only for _, $ARG := range ...
pattern, which cannot detect when index is not assigned to _
.
e.g. for i, s := range array { fmt.Println("%d %p", i, &s) }
Current pattern:
for _, $ARG := range $SLICE {
<... &($ARG) ...>
}
I think it should be the following pattern:
for ..., $ARG := range $SLICE {
<... &($ARG) ...>
}
Edited by tyage