[Bug fortran/113377] Wrong code passing optional dummy argument to elemental procedure with optional dummy

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113377

--- Comment #3 from anlauf at gcc dot gnu.org ---
Created attachment 57108
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57108&action=edit
Patch to play with

This is a first attempt to outline code for handling scalar dummies with the
VALUE attribute.

This fixes the following variants of the declaration of dummy argument j
in function one:

    integer, value,      optional :: j
    integer, intent(in), optional :: j
    integer, intent(in), optional :: j(4)
    integer, intent(in), optional :: j(:)

However,

    integer, allocatable,optional :: j

still does not work: the code *in* the generated loop looks fine to me, but
the scalarizer dereferences j before the loop.

I think that this is correct F2018+, as ifx handles it fine.
Not sure how to proceed here.


Furthermore, the patch tries to cope (= prevent an ICE) with

    integer, allocatable,optional :: j(:)

which I think might be invalid.  At least it also crashed with ifx...

Otherwise, the patch so far regtests ok.