func (a *analysis) load(dst, src nodeid, offset, sizeof uint32) {
    if dst == 0 {
        return // load of non-pointerlike value
    }
    if src == 0 && dst == 0 {