https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117160

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
That's a correctness fix expected to cause some fallout.  As mentioned it's a
bit too conservative, assuming p->size could trap but it's not trivially
easy to fix that given we'd have to compute "known to not trap up-to" and
somehow make use of that.

There's an effective duplicate of this bug.

Reply via email to