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)