https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84640
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |tkoenig at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |tkoenig at gcc dot
gnu.org
Target Milestone|--- |9.0
Severity|normal |enhancement
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #2)
> So rptr points to an invalid memory. Question is whether a store/load from
> the address can happen?
No; rptr never stores to anywhere afterwards.
However, I concur that it would be a good idea to clean up the
logic for this part so that invalid pointers are never
even generated.
Something to look at for gcc 9.