http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47051
--- Comment #3 from Joost VandeVondele <Joost.VandeVondele at pci dot uzh.ch> 2010-12-23 13:56:29 UTC --- OK, more checking. F2003 specifies that the lhs should only be deallocated if it differs in shape. a and b have the same shape here.
