[Bug fortran/50981] [4.5/4.6 Regression] Wrong-code for scalarizing ELEMENTAL call with absent OPTIONAL argument

["burnus at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #42 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-05-07 14:34:16 UTC ---
(In reply to comment #36)
> I lost a bit the overview, but I think the following still needs to be done:
> 
> - 4.4/4.5/4.6: Backporting the fix for nonpresent actuals to elemental procs,
>   cf. commit in comment 5 / comment 6. That is a true [4.4-4.6] regression
> - 4.6: Backporting for the fix for unallocated/unassociated variables to
>   elemental procedures. That's not a true regression.

Not yet backported. The first issue (cf. comment 0) occurred with user code. It
is probably sufficient to only backport that one to only 4.6.


> - The test case of comment 13  / attachment 26291 [details]
Now fixed (4.7/4.8).


> - The test case of comment 23 / attachment 26392 [details]
>   "sub_ctae" is invalid in needs to be removed. The test case compiles without
>   any problems, but the program segfaults at run time for:
>     call sub_ct(var1)
>     call sub_ct(var2)
>   if the variables aren't allocated. That seems to be the same issue as
>   comment 31. Namely: The present() check does not work for CLASS.

Seems still to be the case.  "print *, present(y)" should print false for
comment 31 as "y" is an unallocated actual to an nonalloctable dummy. It shows
"T".


> - For the following, a test case should be written, tested, and included
>   in the test suite (partially covered by the tests above):

Still valid, cf. comment 36