https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85315
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Andrew Macleod from comment #10) > OK, so whats the deal here. I can't really follow what the final request, or > action is. > > Is there a conclusion on what needs to be done? if anything? See the original description - the request was to derive ranges for the offset operand in pointer arithmetic based on the size of the object offsetted. In the simple example a plain 'int' which is (in GIMPLE) offsetted by 4 * (a + b) where we should derive that a + b is zero.
