How to verify safe automatic deallocation of Fortran allocatable arrays after a compiler upgrade?
Consider a legacy Fortran program that uses allocatable arrays inside a subroutine and relies on the automatic deallocation feature introduced in Fortran 2003, where arrays are deallocated when they go out of scope. The program has been successfully built and run with Compiler X version Y. After upgrading to Compiler X version Z, there is uncertainty whether