#2 is the problem that when a parent of Selector (i.e. a of the a.b) is the pointer, exportloopref reports false-positive.
In past, I thought that exportloopref cannot report &a.b.c.d since it cannot check each of the layer in the Selectors is not a pointer.
But now, I found the solution ( *analysis.Pass.TypeInfo ).
So maybe I can check that.