Hello all, I'm not completely convinced by the standard excerpts that have been quoted about this topic, as they don't have any explicit mention of allocatable variables/expressions. For what it's worth, in my opinion, the handling of allocatable that was proposed by Andre makes sense to me. It's consistent with what is done for derived type assignment, the lhs' allocatable components are deallocated if their rhs counter part are unallocated. Doing the same for whole objects would be, well, consistent. What is done by the other compilers?
Mikael