https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69422
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |NEW
Resolution|INVALID |---
--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to Antony Lewis from comment #4)
> But "source" is allocatable, not a pointer? (the pointer P is explicitly
> allocated in the example)
I beg your pardon - yes, that's right. I am pretty sure that the any attempt to
search for (re)allocation is being blocked by the pointer. I'll check the
standard!
Unresolving and revalidating!
Thanks
Paul
