https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111674
Bug ID: 111674 Summary: [13/14 regression] Failure to finalize an allocatable subobject of a non-finalizable type Product: gcc Version: 13.1.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: pault at gcc dot gnu.org Target Milestone: --- Created attachment 56035 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56035&action=edit Testcase demonstrating the bug Introduced by r13-6747-gd7caf313525a46f200d7f5db1ba893f853774aee See the attached testcase, which was developed to check F2018 compliance in the Chivers/Sleightholme compliance tables. gfortran correctly determines from 7.5.6.1 that y is not finalizable. However, following the first paragraph in 7.5.6.3, the component y%aa should be finalized before deallocation in the second assignment. 12-branch used to do this but 13-branch and mainline currently do not. Note, that 12-branch does not finalize x in its second assignment, as it should. Fortunately the fix is trivial and will be posted in the first comment. Paul