[Bug fortran/58883] New: Segmentation fault when reshaping a allocatable array to allocatable function

[Bug fortran/58883] New: Segmentation fault when reshaping a allocatable array to allocatable function

[songtao.thu at gmail dot com]

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

            Bug ID: 58883
           Summary: Segmentation fault when reshaping  a allocatable array
                    to allocatable function
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: songtao.thu at gmail dot com

When I reshape a allocatable array to allocatable function output, segmentation
fault appears.

Test Case1:

program main
  implicit none

  print *, foo()
contains
  function foo()
    integer, allocatable  :: foo(:,:)
    integer, allocatable  :: temp(:)

    temp = [1,2,3,4,5,6,7,8]
    foo = reshape(temp,[2,4])
  end function
end program

However, test case2 works fine:

program main
  implicit none

  print *, foo()
contains
  function foo()
    integer, allocatable  :: foo(:,:)
    integer, allocatable  :: temp(:), temp2(:,:)

    temp = [1,2,3,4,5,6,7,8]
    temp2 = reshape(temp,[2,4])
    foo = temp2            ! or call move_alloc(temp2,foo)
  end function
end program

Hopefully someone can figure it out.

Tao Song

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[burnus at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-10-25
                 CC|                            |burnus at gcc dot gnu.org
            Summary|Segmentation fault when     |Wrong code with realloc on
                   |reshaping  a allocatable    |assignment with assigning
                   |array to allocatable        |RESHAPE() to the function
                   |function                    |result variable
     Ever confirmed|0                           |1
      Known to fail|                            |4.8.1, 4.9.0

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Confirmed.

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[dominiq at lps dot ens.fr]

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

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
AFAICT this PR is fixed by the patch for pr61459.

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[pault at gcc dot gnu.org]

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

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Mon Jul  7 20:00:49 2014
New Revision: 212338

URL: https://gcc.gnu.org/viewcvs?rev=212338&root=gcc&view=rev
Log:
2014-07-07  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * trans-expr.c (fcncall_realloc_result): Use the natural type
    for the address expression of 'res_desc'.

2014-07-07  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * gfortran.dg/allocatable_function_8.f90 : New test

Added:
   
branches/gcc-4_9-branch/gcc/testsuite/gfortran.dg/allocatable_function_8.f90
Modified:
    branches/gcc-4_9-branch/gcc/fortran/ChangeLog
    branches/gcc-4_9-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[pault at gcc dot gnu.org]

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

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Mon Jul  7 20:04:05 2014
New Revision: 212339

URL: https://gcc.gnu.org/viewcvs?rev=212339&root=gcc&view=rev
Log:
2014-07-07  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * trans-expr.c (fcncall_realloc_result): Use the natural type
    for the address expression of 'res_desc'.

2014-07-07  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * gfortran.dg/allocatable_function_8.f90 : New test

Added:
    trunk/gcc/testsuite/gfortran.dg/allocatable_function_8.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[pault at gcc dot gnu.org]

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

--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Tue Jul  8 19:51:04 2014
New Revision: 212369

URL: https://gcc.gnu.org/viewcvs?rev=212369&root=gcc&view=rev
Log:
2014-07-08  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * trans-expr.c (fcncall_realloc_result): Use the natural type
    for the address expression of 'res_desc'.

2014-07-08  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/61459
    PR fortran/58883
    * gfortran.dg/allocatable_function_8.f90 : New test

Added:
   
branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/allocatable_function_8.f90
Modified:
    branches/gcc-4_8-branch/gcc/fortran/ChangeLog
    branches/gcc-4_8-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug fortran/58883] Wrong code with realloc on assignment with assigning RESHAPE() to the function result variable

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |pault at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> ---
Fixed on 4.8, 4.9 and trunk.

Thanks for the report

Paul