[Bug fortran/102369] New: VALUE attribute for arrays not allowed

[Bug fortran/102369] New: VALUE attribute for arrays not allowed

[longb at cray dot com]

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

            Bug ID: 102369
           Summary: VALUE attribute for arrays not allowed
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: longb at cray dot com
  Target Milestone: ---

> cat test.f90
module mymod
contains
pure real function myfunc(x)
integer, value, dimension(:), intent(in) :: x
myfunc = x(1)
end function myfunc
end module mymod
program main
use mymod
implicit none
integer, parameter :: sz = 10
integer, dimension(sz) :: foo
foo = 42
print *, myfunc(foo)
end program main

> ifort test.f90
> ./a.out
   42.00000    

> gfortran test.f90
test.f90:4:14:

    4 | integer, value, dimension(:), intent(in) :: x
      |              1
Error: VALUE attribute conflicts with DIMENSION attribute at (1)
test.f90:3:27:

    3 | pure real function myfunc(x)
      |                           1
Error: Dummy procedure 'x' of PURE procedure at (1) must also be PURE
test.f90:5:9:

    5 | myfunc = x(1)
      |         1
Error: Reference to impure function 'x' at (1) within a PURE procedure
test.f90:9:5:

    9 | use mymod
      |     1
Fatal Error: Cannot open module file 'mymod.mod' for reading at (1): No such
file or directory
compilation terminated.

> gfortran --version
GNU Fortran (GCC) 11.2.0 20210728 (Cray Inc.)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug fortran/102369] VALUE attribute for arrays not allowed

[longb at cray dot com]

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

--- Comment #1 from Bill Long <longb at cray dot com> ---
I assume the cascade of error messages all originate with the first one. The
combination of VALUE for an array is allowed in F08 and later versions.

[Bug fortran/102369] VALUE attribute for arrays not allowed

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-09-16
     Ever confirmed|0                           |1

--- Comment #2 from anlauf at gcc dot gnu.org ---
Confirmed.

F2018:  8.5.18  VALUE attribute

C863  An entity with the VALUE attribute shall be a dummy data object. It shall
not be an assumed-size array, a coarray, or a variable with a coarray ultimate
component.


Thus assumed-shape is allowed.  We need to adjust the checks.

[Bug fortran/102369] VALUE attribute for arrays not allowed

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |a.shahmoradi at gmail dot com

--- Comment #3 from anlauf at gcc dot gnu.org ---
*** Bug 104585 has been marked as a duplicate of this bug. ***