Comment 11 for bug 1763454

I've duped the other bug to this one.

I do agree that the "seen = true" you identified looks like a mistake, I will fix up the patch to remove that.

You also added some bounds checking. I see your point in adding that, I can't find anything which would guarantee that there is an additional instruction there. However the check_ld_imm() call before that can also assume that there's something after the current instruction, so either there is some guarantee that there's something after the current instruction or else that bounds check needs to be moved. As the upstream source still lacks a bounds check there too, it might be best to pursue this question upstream.