[Bug fortran/53357] New: Add -fcheck=bounds for character type-spec in ALLOCATE

[Bug fortran/53357] New: Add -fcheck=bounds for character type-spec in ALLOCATE

[burnus at gcc dot gnu.org]

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

             Bug #: 53357
           Summary: Add -fcheck=bounds for character type-spec in ALLOCATE
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


Example: The following is invalid as the length does not match:

integer :: i
i = 5
block
  character(len=i), allocatable :: str
  allocate (character(len=3) :: str)
end block
end

 * * *

That's already correctly detected for compile-time constants:
  character(len=5), allocatable :: str
  allocate (character(len=3) :: str)
  end

Error: Allocating str at (1) with type-spec requires the same character-length
parameter as in the declaration


However, the compile-time version could also print the bounds.

[Bug fortran/53357] Add -fcheck=bounds for character type-spec in ALLOCATE

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2014-07-20
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Compiling the first test in comment 0 gives an error with 4.7 up to trunk
(4.10)

Error: Allocating str at (1) with type-spec requires the same character-length
parameter as in the declaration

even if i=3 or with the following code

integer :: i
i = 3
call sub(i)
end
subroutine sub(i)
  character(len=i), allocatable :: str
  allocate (character(len=3) :: str)
end

This does not seem correct (unless I am missing something).

[Bug fortran/53357] Add -fcheck=bounds for character type-spec in ALLOCATE

[dominiq at lps dot ens.fr]

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

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

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

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Still present at r228660.