[Bug fortran/58861] New: No reallocation assignment performed (due to different kinds?)

[Bug fortran/58861] New: No reallocation assignment performed (due to different kinds?)

[vladimir.fuka at gmail dot com]

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

            Bug ID: 58861
           Summary: No reallocation assignment performed (due to different
                    kinds?)
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vladimir.fuka at gmail dot com

program test
    real(8), allocatable :: a(:,:)
    real(4),allocatable :: b(:,:)
    allocate(b(100,100))
    b = 0
    !both lines below create problem
    a = real(b,kind=kind(a))
    a = b
end


gfortran realloc3.f90 -fcheck=all -Wall
gcc version 4.8.1 20130509 (prerelease) (GCC)

./a.out 
At line 7 of file realloc3.f90
Fortran runtime error: Array bound mismatch for dimension 1 of array 'a'
(0/100)

[Bug fortran/58861] Realloc on assignment: Bogus "Array bound mismatch" error with -fcheck=bounds

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-12-21
     Ever confirmed|0                           |1

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

[Bug fortran/58861] Realloc on assignment: Bogus "Array bound mismatch" error with -fcheck=bounds

[adam at aphirst dot karoo.co.uk]

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

Adam Hirst <adam at aphirst dot karoo.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |adam at aphirst dot karoo.co.uk

--- Comment #3 from Adam Hirst <adam at aphirst dot karoo.co.uk> ---
Created attachment 32154
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32154&action=edit
Failed realloc with -fcheck

Here's another realloc-on-assign case which fails with -fcheck, but works
without. I was going to submit a new bug report, but thankfully I found this
existing one instead.

[Bug fortran/58861] Realloc on assignment: Bogus "Array bound mismatch" error with -fcheck=bounds

[elrond1111 at yahoo dot com]

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

Kyle Horne <elrond1111 at yahoo dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |elrond1111 at yahoo dot com

--- Comment #4 from Kyle Horne <elrond1111 at yahoo dot com> ---
Created attachment 35874
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35874&action=edit
Minimal case

Another minimal use case that triggers erroneous bounds check errors