Displaying 1 result from an estimated 1 matches for "67e5ccba".
2019 Mar 27
2
getelementptr inbounds with offset 0
Hi Johannes,
> Now that reasoning works from a conceptual standpoint only for
> non-inbounds GEPs, I think. From a practical standpoint my above
> description will probably make sure everything works out just fine (see
> also my rephrased answer down below!). I say this because I think the
> following lang-ref passage makes sure everything, not only memory
> accesses, involving