[Bug fortran/47803] New: [F95+] Constant inquiry function rejected in PARAMETER definition

[Bug fortran/47803] New: [F95+] Constant inquiry function rejected in PARAMETER definition

[burnus at gcc dot gnu.org]

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

           Summary: [F95+] Constant inquiry function rejected in PARAMETER
                    definition
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


I think the following program could be valid. It came up in an IR and my
understanding is that following program is valid - while the version in the IR
is invalid. -- Given that all other compilers accept it, I think it should be
valid F95.

Cf. http://j3-fortran.org/doc/year/11/11-101.txt - and look for updates
(11-101r1.txt etc.)

        INTEGER PURE FUNCTION F1(I)
          INTEGER :: A(int(1))
          INTEGER, PARAMETER :: KIND = SIZE(A)   ! KIND == 1
          INTEGER(KIND), INTENT(IN) :: I

          F1 = 17
        END FUNCTION F1

ifort, g95, NAG f95, pathf95 compile the program but gfortran rejects it with:

          INTEGER, PARAMETER :: KIND = SIZE(A)   ! KIND == 1
                                            1
Error: Array 'a' at (1) is a variable, which does not reduce to a constant
expression

[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-02-18 17:07:03 UTC ---
Forgot to link to http://j3-fortran.org/pipermail/j3/2011-February/004197.html
which is about the J3 ballot of those items; it also contains an updated
version of the paper.

The IR has been approved by the J3 meeting and currently a J3 ballot is running
(cf. link); if accepted, it moves on to June's WG5 meeting in Garching.

[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING

[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #2)
> The link is broken. Any news from the committee about this PR?

Try: http://mailman.j3-fortran.org/pipermail/j3/2011-February/004197.html

That's F08/0050. See F2008 Corr. 1 at
ftp://ftp.nag.co.uk/sc22wg5/N1901-N1950/N1902.pdf (search for F08/0050).

See also ftp://ftp.nag.co.uk/sc22wg5/N1851-N1900/N1875.txt for the latest
version (positively balloted in N1877/N1889).