https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93041
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to WHR from comment #4)
> OK, I'm now fully understood what's happens.
> If the loop breaks, 'p' must be 0, so the later '**p' will dereference a
> null pointer.
> Looks like this is actually a feature...
Yeah. For the testcase at hand a bit unfortunate of course.
