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.