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

["dominiq at lps dot ens.fr" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #26 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-01-21 11:41:15 UTC ---
Running the regression test suite gives:

FAIL: gfortran.dg/coarray_poly_1.f90  -O  (internal compiler error)
FAIL: gfortran.dg/coarray_poly_1.f90  -O   (test for errors, line 11)
FAIL: gfortran.dg/coarray_poly_1.f90  -O  (test for excess errors)
FAIL: gfortran.dg/extends_type_of_1.f03  -O0  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -O1  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -O2  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -O3 -fomit-frame-pointer  execution
test
FAIL: gfortran.dg/extends_type_of_1.f03  -O3 -fomit-frame-pointer
-funroll-loops  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -O3 -fomit-frame-pointer
-funroll-all-loops -finline-functions  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -O3 -g  execution test
FAIL: gfortran.dg/extends_type_of_1.f03  -Os  execution test

The failure for gfortran.dg/coarray_poly_1.f90 is

[macbook] f90/bug% gfc
/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray_poly_1.f90 -fcoarray=single
-O/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray_poly_1.f90:9.25:

  class(t) :: A(:)[4,2:*] ! { dg-error "is not ALLOCATABLE, SAVE nor a dummy ar
                         1
Error: Variable 'a' at (1) is a coarray and is not ALLOCATABLE, SAVE nor a
dummy argument
f951: internal compiler error: Segmentation fault

Note that gfortran.dg/extends_type_of_3.f90 does not appear because it is not
run (dg-do compile). However it runs without the patch and gives a segmentation
fault with it.