This will indeed work in practice, I guess. However, although the call is legal, I think it’s illegal for the cfft routine to access the elements past the n1 elements that are passed. Again, it will work in practice because the compiler has no reason to copy-in/copy-out the x(1:,i2,1) array section, but it could.
The standard says:

