Re: [PATCH] tree-optimization/104009: Conservative underflow estimate in object size

2022-01-13 Thread Jakub Jelinek via Gcc-patches
On Fri, Jan 14, 2022 at 09:01:09AM +0530, Siddhesh Poyarekar wrote: > Restrict negative offset computation only to dynamic object sizes, where > size expressions are accurate and not a maximum/minimum estimate and in > cases where negative offsets definitely mean an underflow, e.g. in > MEM_REF of

[PATCH] tree-optimization/104009: Conservative underflow estimate in object size

2022-01-13 Thread Siddhesh Poyarekar
Restrict negative offset computation only to dynamic object sizes, where size expressions are accurate and not a maximum/minimum estimate and in cases where negative offsets definitely mean an underflow, e.g. in MEM_REF of the whole object with negative ofset in addr_object_size. This ends up miss