[Bug fortran/41062] New: internal compiler error

[Bug fortran/41062] New: internal compiler error

[clerman at fuse dot net]

Hello to everyone at the gfortran development team:

  I am trying to build my lens design program with the latest trunk version of
gfortran:

norm@oxford:~/design/gfortran/bug7/test> gfortran --version
GNU Fortran (GCC) 4.5.0 20090808 (experimental) [trunk revision 150581]

  The build stops when I compile a file named cmndtypeM.f90. Here is the error
message gfortran prints:

cmndtypeM.f90:127:0: internal compiler error: in gfc_trans_use_stmts, at
fortran/trans-decl.c:3438
Please submit a full bug report,
with preprocessed source if appropriate.

  I have successfully compiled this code with the nag compiler, version 5.2 (on
Linux) and with version 10.1 of the Intel compiler (on Windows).

  I will send a zipped tar archive file to gcc-bugzilla@gcc.gnu.org that will
contain all the source code and a shell script that should allow you to
reproduce the problem. The file's name will be bug7.tar.gz. To reproduce the
problem, unzip the file and unpack all its contents. The invoke the shell
script bug7.sh.

  Let me know if there are any problems or if you are missing anything.

  Thank you for your attention.

Yours truly,

Norm Clerman


-- 
           Summary: internal compiler error
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: clerman at fuse dot net


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

[Bug fortran/41062] internal compiler error

[clerman at fuse dot net]

------- Comment #1 from clerman at fuse dot net  2009-08-13 20:52 -------
Subject: Bug 41062 has been added to the database

Hello everyone:

  gfortran bug 41062.

  Attached is a file that will allow you to reproduce bug 41062. Unzip the
file, extract its contents, and invoke shell scipt bug7.sh. gfortran is
reporting an internal compiler error when it tries to compile file
cmndtypeM.f90.

  Thank you for your attention.

Norm Clerman


------- Comment #2 from clerman at fuse dot net  2009-08-13 20:52 -------
Created an attachment (id=18360)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18360&action=view)


-- 


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

[Bug fortran/41062] internal compiler error

[dominiq at lps dot ens dot fr]

------- Comment #3 from dominiq at lps dot ens dot fr  2009-08-14 00:14 -------
Reduced test case:

module SysKinds

  INTEGER, PARAMETER :: DefaultInteger = kind (1)
  INTEGER (DefaultInteger), PARAMETER :: ASCIICharacterKind = KIND ("A")
  integer(DefaultInteger), parameter :: SmallInteger = selected_int_kind (4)

end module SysKinds

module Parser

   use SysKinds

   interface PutALine
     module procedure Line_from_string
   end interface

   integer (SmallInteger), parameter :: LINE_LENGTH = 200

   type, public :: TStringBlock
     private
     character (LINE_LENGTH, ASCIICharacterKind) :: theLine = " "
     integer (SmallInteger) :: CurrentIndex, LastIndex = 0, NextIndex
   end type TStringBlock

contains

   subroutine Line_from_string

   end subroutine Line_from_string

end module Parser

module CmndType

  use SysKinds
  use Parser, only : PutALine, TstringBlock

  implicit none

  type, public :: Tcommand
    type (TstringBlock) :: commandLine
  end type Tcommand

contains

  subroutine Dump_cmd (this, tag)

    type (TCommand), intent (IN) :: this
    character (*, ASCIICharacterKind), intent (IN), optional :: tag

    call PutALine ()
  contains

    subroutine PutALine (user_Line)

      character (*, ASCIICharacterKind), intent (IN), optional :: user_Line

    end subroutine PutALine

  end subroutine Dump_cmd

end module CmndType

gives an ICE with trunk and 4.4.1:

[ibook-dhum] bug/bug7% gfc cmndtypeM_red.f90
cmndtypeM_red.f90:36:0: internal compiler error: in gfc_trans_use_stmts, at
fortran/trans-decl.c:3438
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

compiles with 4.3.4, hence a regression.


-- 


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

[Bug fortran/41062] [4.4, 4.5 Regression] internal compiler error

[jvdelisle at gcc dot gnu dot org]

------- Comment #4 from jvdelisle at gcc dot gnu dot org  2009-08-14 00:29 -------
Severity is never considered a blocker with gfortran.  Marking as a regression.


-- 

jvdelisle at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|blocker                     |normal
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-08-14 00:29:56
               date|                            |
            Summary|internal compiler error     |[4.4, 4.5 Regression]
                   |                            |internal compiler error


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

[Bug fortran/41062] [4.4/4.5 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[burnus at gcc dot gnu dot org]

-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.4.1 4.5.0
      Known to work|                            |4.3.3
            Summary|[4.4, 4.5 Regression]       |[4.4/4.5 Regression] ICE in
                   |internal compiler error     |gfc_trans_use_stmts, at
                   |                            |fortran/trans-decl.c:3438
   Target Milestone|---                         |4.4.2


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

[Bug fortran/41062] [4.4/4.5 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[burnus at gcc dot gnu dot org]

------- Comment #5 from burnus at gcc dot gnu dot org  2009-08-14 07:48 -------
Even more reduced example.

In "two" the internal procedure "one" should be called. Additionally, there
exists a generic procedure with the same name "one", which however is not
available in "two" as it is _not_ host-associated due to the local definition
of "one".

The assert which fails is:
              gcc_assert (st && st->n.sym->attr.use_assoc);

Thus one tries to do USE renames/"only" on the internal "one" rather than on
the host-associated "one". But actually, in "two" in gfc_trans_use_stmts one
should not touch "one" at all.


module m1
   interface one  ! GENERIC "one"
     module procedure one1
   end interface
contains
  subroutine one1()
  end subroutine one1
end module m1

module m2
use m1, only: one  ! USE generic "one"
contains
  subroutine two()
    call one()  ! Call internal "one"
  contains
    subroutine one() ! Internal "one"
    end subroutine one
  end subroutine two
end module m2


-- 


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

[Bug fortran/41062] [4.4/4.5 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[dominiq at lps dot ens dot fr]

------- Comment #6 from dominiq at lps dot ens dot fr  2009-08-14 09:37 -------
>From comment #5, an easy workaround (better coding practice?) is to rename
PutALine in subroutine Dump_cmd (indeed this does not prevent to fix the
bug!-).


-- 


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

[Bug fortran/41062] [4.4/4.5 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[pault at gcc dot gnu dot org]

------- Comment #7 from pault at gcc dot gnu dot org  2009-08-17 14:12 -------
Created an attachment (id=18385)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18385&action=view)
Fix for this PR

The comment is probably wrong - I wish to understand the origin of the problem
a bit better before committing.  In particular, if the "only one" is removed,
the last testcase compiles correctly.  I cannot see why this should be.

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug fortran/41062] [4.4/4.5 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[pault at gcc dot gnu dot org]

------- Comment #8 from pault at gcc dot gnu dot org  2009-08-17 20:17 -------
Subject: Bug 41062

Author: pault
Date: Mon Aug 17 20:17:12 2009
New Revision: 150858

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=150858
Log:
2008-08-17  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/41062
        * trans-decl.c (gfc_trans_use_stmts):  Keep going through use
        list if symbol is not use associated.

2008-08-17  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/41062
        * gfortran.dg/use_only_4.f90: New test.



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


-- 


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

[Bug fortran/41062] [4.4 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4


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

[Bug fortran/41062] [4.4 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[pault at gcc dot gnu dot org]

------- Comment #9 from pault at gcc dot gnu dot org  2009-08-25 18:55 -------
Subject: Bug 41062

Author: pault
Date: Tue Aug 25 18:54:58 2009
New Revision: 151092

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=151092
Log:
2008-08-25  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/41062
        * trans-decl.c (gfc_trans_use_stmts):  Keep going through use
        list if symbol is not use associated.

2008-08-25  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/41062
        * gfortran.dg/use_only_4.f90: New test.




Added:
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/use_only_4.f90
Modified:
    branches/gcc-4_4-branch/gcc/fortran/ChangeLog
    branches/gcc-4_4-branch/gcc/fortran/trans-decl.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/41062] [4.4 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[pault at gcc dot gnu dot org]

------- Comment #10 from pault at gcc dot gnu dot org  2009-08-25 18:55 -------
Fixed on trunk and 4.4.

Thanks for the report.

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug fortran/41062] [4.4 Regression] ICE in gfc_trans_use_stmts, at fortran/trans-decl.c:3438

[clerman at fuse dot net]

------- Comment #11 from clerman at fuse dot net  2009-08-29 12:14 -------
Subject: Re:  [4.4 Regression] ICE in
 gfc_trans_use_stmts, at fortran/trans-decl.c:3438

You're welcome. Works fine now.

Norm Clerman

---- pault at gcc dot gnu dot org <gcc-bugzilla@gcc.gnu.org> wrote: 
> 
> 
> ------- Comment #10 from pault at gcc dot gnu dot org  2009-08-25 18:55 -------
> Fixed on trunk and 4.4.
> 
> Thanks for the report.
> 
> Paul
> 
> 
> -- 
> 
> pault at gcc dot gnu dot org changed:
> 
>            What    |Removed                     |Added
> ----------------------------------------------------------------------------
>              Status|ASSIGNED                    |RESOLVED
>          Resolution|                            |FIXED
> 
> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41062
> 
> ------- You are receiving this mail because: -------
> You reported the bug, or are watching the reporter.


-- 


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