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