[Bug fortran/15164] New: gfortran: trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[Bug fortran/15164] New: gfortran: trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[wright at esrf dot fr]

f951: ../../gcc/gcc/fortran/trans-decl.c:411: gfc_finish_var_decl:
Assertion `current_function_decl == (tree) ((void *)0)' failed.

Source code (id31sum.f90) was posted to:
http://gcc.gnu.org/ml/gcc-bugs/2004-04/msg02162.html 

Other fortran compilers (including g95) manage to compile the code, and I did
not figure out what the specific problem is here. 

Output when compiling:
crunch:~/nuweb/bug % /users/wright/gfortran//gcc-ssa/bin/gfortran -v -save-temps
id31sum.f90
Driving: /users/wright/gfortran//gcc-ssa/bin/gfortran -v -save-temps id31sum.f90
 -lgfortranbegin -lgfortran -lm -shared-libgcc
Reading specs from
/users/wright/gfortran/gcc-ssa/bin/../lib/gcc/i686-pc-linux-gnu/3.5-tree-ssa/specs
Configured with: ../gcc/configure --disable-checking --prefix=/tmp/gcc-ssa --ena
ble-languages=c,c++,f95 --with-gmp=/usr
Thread model: posix
gcc version 3.5-tree-ssa 20040423 (merged 20040414)
 /users/wright/gfortran/gcc-ssa/bin/../libexec/gcc/i686-pc-linux-gnu/3.5-tree-ss
a/f951 id31sum.f90 -quiet -dumpbase id31sum.f90 -mtune=pentiumpro -auxbase id31s
um -version -o id31sum.s
GNU F95 version 3.5-tree-ssa 20040423 (merged 20040414) (i686-pc-linux-gnu)
        compiled by GNU C version 3.5-tree-ssa 20040423 (merged 20040414).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
f951: ../../gcc/gcc/fortran/trans-decl.c:411: gfc_finish_var_decl: Assertion `cu
rrent_function_decl == (tree) ((void *)0)' failed.
id31sum.f90: In function `split':
id31sum.f90:73: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: gfortran: trans-decl.c:411: gfc_finish_var_decl:
                    Assertion failed
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wright at esrf dot fr
                CC: gcc-bugs at gcc dot gnu dot org,wright at esrf dot fr
 GCC build triplet:
                    Configured with: ../gcc/configure --disable-checking --
                    prefix=
  GCC host triplet: Linux i686
GCC target triplet: Linux i686


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|                            |Configured with:
                   |Configured with:            |../gcc/configure --disable-
                   |../gcc/configure --disable- |checking --prefix=
                   |checking --prefix=          |
            Summary|gfortran: trans-decl.c:411: |[gfortran] trans-decl.c:411:
                   |gfc_finish_var_decl:        |gfc_finish_var_decl:
                   |Assertion failed            |Assertion failed
   Target Milestone|---                         |tree-ssa


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-27 11:55 -------
Confirmed but it has not been reduced yet.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-27 12:58 -------
Confirmed, reduced to (you most likely can do better).

      module specfiles
      contains
      subroutine split(instring,outstrings,lenout,n,i)
      integer(kind=4),intent(in) :: lenout,n
      character(len=*),intent(in) :: instring
      character(len=lenout),dimension(n),intent(out) :: outstrings
      integer(kind=4) :: i,j,k,l
      j=1; k=1
       outstrings(j)(k:k)=instring(i:i)
      return
      end subroutine split
      end module specfiles

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-04-27 12:58:41
               date|                            |


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[wright at esrf dot fr]

------- Additional Comments From wright at esrf dot fr  2004-04-27 14:07 -------
Was hoping to fix the code with either (len=*) or (len=len(string)), as it may
well be the case that the orignal code was not allowed by the standard. Found
some other behaviours.

(len=*) for an array of strings inside a module gives 
"bug.f90:3: internal compiler error: Segmentation fault"
      module specfiles
      contains
      subroutine split(instring,outstring,lenout,n)
      integer(kind=4),intent(in) :: lenout
      character(len=*),intent(in) :: instring
      character(len=*),dimension(n),intent(out) :: outstring
      outstring(1)(1:1)=instring(1:1)
      end subroutine split
      end module specfiles

(len=len(string)) is more worrying. The file "specfiles.mod" keeps on getting
bigger and bigger with the program apparently hitting an infinite loop and not
stopping until the device is full:
      module specfiles
      contains
      subroutine split(outstring,lenout)
      integer,intent(in) :: lenout
      character(len=len(outstring)),intent(out) :: outstring
      outstring(1:1)='A'
      end subroutine split
      end module specfiles


-- 


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|Configured with:            |
                   |../gcc/configure --disable- |
                   |checking --prefix=          |
   Target Milestone|3.5.0                       |---


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

[Bug fortran/15164] [gfortran] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-12 12:49 -------
*** Bug 15954 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Mart dot Rentmeester at sci
                   |                            |dot kun dot nl


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-17 19:16 -------
*** Bug 16608 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at hep dot tu-
                   |                            |darmstadt dot de


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[toon at moene dot indiv dot nluug dot nl]

------- Additional Comments From toon at moene dot indiv dot nluug dot nl  2004-09-09 18:53 -------
Also fails on powerpc-unknown-linux-gnu, using gcc-3.5-20040908.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   GCC host triplet|Linux i686                  |
 GCC target triplet|Linux i686                  |
   Last reconfirmed|2004-04-27 12:58:41         |2004-09-09 18:53:39
               date|                            |


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-09-26 15:25 -------
Subject: Bug 15164

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	tobi@gcc.gnu.org	2004-09-26 15:24:58

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gfortran.dg: pr15164.f90 

Log message:
	PR fortran/15164
	* gfortran.dg/pr15164.f90: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4352&r2=1.4353
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/pr15164.f90.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[tobi at gcc dot gnu dot org]

------- Additional Comments From tobi at gcc dot gnu dot org  2004-09-26 15:34 -------
Works for me with an up-to-date compiler. I added the original testcase to the
testsuite to make sure that we don't regress again.

The infinite recursion problem is still present. I'm not completely sure that
the code is actually valid.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tobi at gcc dot gnu dot org


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-09-26 15:44 -------
Subject: Bug 15164

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	tobi@gcc.gnu.org	2004-09-26 15:44:19

Modified files:
	gcc/testsuite  : ChangeLog 
	gcc/testsuite/gfortran.dg: pr15164.f90 

Log message:
	PR fortran/15164
	* gfortran.dg/pr15164.f90: New test. Fixed in followup commit.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4353&r2=1.4354
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/pr15164.f90.diff?cvsroot=gcc&r1=1.1&r2=1.2



-- 


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[tobi at gcc dot gnu dot org]

------- Additional Comments From tobi at gcc dot gnu dot org  2004-09-26 15:48 -------
I had messed up the testcase in the first commit. To make things explicit: I
committed Andrew's reduced testcase. The original testcase now exposes a
different bug, which I will try to analyze.

-- 


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[tobi at gcc dot gnu dot org]

------- Additional Comments From tobi at gcc dot gnu dot org  2004-09-26 16:06 -------
I could reduce the remaining segfault to the one in PR 17583.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |17583


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[tobi at gcc dot gnu dot org]

-- 
Bug 15164 depends on bug 17583, which changed state.

Bug 17583 Summary: internal compiler error: same names, but not conflicting
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17583

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-05 14:10 -------
Subject: Bug 15164

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	tobi@gcc.gnu.org	2004-11-05 14:10:38

Modified files:
	gcc/fortran    : ChangeLog trans-decl.c 

Log message:
	PR fortran/15164
	* trans-decl.c (gfc_finish_var_decl): Don't declare arguments to
	module procedures as if they were module variables.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fortran/ChangeLog.diff?cvsroot=gcc&r1=1.247&r2=1.248
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fortran/trans-decl.c.diff?cvsroot=gcc&r1=1.46&r2=1.47



-- 


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[tobi at gcc dot gnu dot org]

------- Additional Comments From tobi at gcc dot gnu dot org  2004-11-05 14:15 -------
The issue with Andrew's reduced testcase which had disappeared had resurfaced
due to another bugfix, the above commit should fix it again for good.

It remains the infinite recursion.

-- 


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

[Bug fortran/15164] trans-decl.c:411: gfc_finish_var_decl: Assertion failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-01 14:14 -------
Fixed for 4.0.0.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.0


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