A simple statement: print *,a(b(1:2)) compiles without a complaint,
Command: ifort -check all -debug all -fpe0 -traceback test.f90
but the execution fails, with the message:
Run-Time Check Failure. The variable 'var$21' is being used in 'test.f90(11,1)' without being defined
real(8) :: a(2),c(2)
integer :: b(2)
end program test
There are other ways to do it: e.g. replacing the print statement by:
Prints without a complaint
I would prefer having a compilation error and not a runtime error.
Even a compilation warning, explaining that this is a compiler bug, is much better than
getting this very unpleasant runtime error, which requires a long debugging before daring to call it a compiler bug.
>>Even a compilation warning, explaining that this is a compiler bug
I do not think it is possible for the compiler to warn you of bad code generation. If someone has the skill to add this capability, then they could also have the compiler automatically fix the bug.