https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69422
--- Comment #4 from Antony Lewis <antony at cosmologist dot info> --- But "source" is allocatable, not a pointer? (the pointer P is explicitly allocated in the example)
antony at cosmologist dot info Sat, 23 Jan 2016 03:44:28 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69422
--- Comment #4 from Antony Lewis <antony at cosmologist dot info> --- But "source" is allocatable, not a pointer? (the pointer P is explicitly allocated in the example)