[Bug fortran/57262] Optimize bound intrinsics with dim=var for rank one arrays

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57262

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Created attachment 30105
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30105&action=edit
Draft patch (trans-intrinsic.c only, ubound/lbound only, untested)

PATCH: Draft patch for the second case (i.e. after the bound check) - only
handles LBOUND/UBOUND. For SIZE, it only matters with inlining (which is done
on the Fortran-dev branch); thus, this part is left out.

TODO: Testing, test case and simplify.c handling.


(In reply to Dominique d'Humieres from comment #1)
> What is expected if i (jjj) /= 1?

Well, the whole bug is only for rank == 1 array!

Thus, using, e.g., jjj == 2 will be invalid (according to the Fortran standard)
and will access invalid memory. With my (untested!) attached patch, jjj=2
should still give a run-time error for -fcheck=all. (And without, it accesses
the bounds for dim=1 instead of invalid memory.)

For the first test case (patch to be written), you will loose the run-time
bounds check. Sorry!