[Bug fortran/41165] New: -std=f95: Reject PRODUCT in initialization expressions.

[Bug fortran/41165] New: -std=f95: Reject PRODUCT in initialization expressions.

[burnus at gcc dot gnu dot org]

Since PR 25104 and PR 29962, gfortran allows PRODUCT in initialization
expressions (2009-06-07); however, using -std=f95 PRODUCT is still accepted.

Expected: Print an error when using -std=f95.

INTEGER, PARAMETER :: d = 4 ! Number of elements to permute
INTEGER :: I
INTEGER, PARAMETER :: maxnum = PRODUCT((/(i,i=1,d)/))
print *, maxnum
end


-- 
           Summary: -std=f95: Reject PRODUCT in initialization expressions.
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


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

[Bug fortran/41165] -std=f95: Reject PRODUCT in initialization expressions.

[dfranke at gcc dot gnu dot org]

------- Comment #1 from dfranke at gcc dot gnu dot org  2009-08-25 17:09 -------
Without checking, I'd expect it's not only PRODUCT, but all of the intrinsics
allowed in init-expr by F2003.

Offhand I'd blame expr.c (check_transformational), in particular:

2151  functions = (gfc_option.allow_std & GFC_STD_F2003)
2152                ? trans_func_f2003 : trans_func_f95;


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dfranke at gcc dot gnu dot
                   |                            |org


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

[Bug fortran/41165] -std=f95: Reject PRODUCT in initialization expressions.

[dfranke at gcc dot gnu dot org]

------- Comment #2 from dfranke at gcc dot gnu dot org  2009-08-25 17:37 -------
It turns out, that the PRODUCT is already simplified to EXPR_CONST before is is
checked in expr.c (check_init_expr).


-- 


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

[Bug fortran/41165] -std=f95: Reject PRODUCT in initialization expressions.

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2009-09-01 11:49 -------
> It turns out, that the PRODUCT is already simplified to EXPR_CONST
> before is is checked in expr.c (check_init_expr).

To be more specific, in resolve.c (resolve_unknown_f) the simplification is
implied via intrinsic.c (gfc_intrinsic_func_interface). The latter returns

    MATCH_YES    if the call corresponds to an intrinsic, simplification
                 is done if possible.


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-09-01 11:49:55
               date|                            |


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