[Bug fortran/30084] New: segmentation falut when compiling certain code

[Bug fortran/30084] New: segmentation falut when compiling certain code

[trumsko at yahoo dot com]

gfortran crashes when compiling teh attached code
(the same segmentation fault occures when compiling with 4.2.0 version of
gfortran)

[trob@aqua] /tmp/gfortcrash $ gfortran -c kinds.f90 vamp_bundle.f90
vamp_bundle.f90:3166: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

[trob@aqua] /tmp/gfortcrash $ gfortran -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /home/fxcoudert/gfortran_nightbuild/trunk/configure
--prefix=/home/fxcoudert/gfortran_nightbuild/irun-20061130
--enable-languages=c,fortran
--with-gmp=/home/fxcoudert/gfortran_nightbuild/software
Thread model: posix
gcc version 4.3.0 20061130 (experimental)


-- 
           Summary: segmentation falut when compiling certain code
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: trumsko at yahoo dot com


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

[Bug fortran/30084] segmentation falut when compiling certain code

[trumsko at yahoo dot com]

------- Comment #1 from trumsko at yahoo dot com  2006-12-06 14:36 -------
Created an attachment (id=12754)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12754&action=view)
source files to crash gfortran

unpack and execute
 gfortran -c kinds.f90 vamp_bundle.f90
to reproduce segmentation violation


-- 


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

[Bug fortran/30084] segmentation falut when compiling certain code

[kargl at gcc dot gnu dot org]

------- Comment #2 from kargl at gcc dot gnu dot org  2006-12-06 17:37 -------
Reduced testcase:

module tao_random_numbers
  integer, dimension(10) :: s_buffer
  integer :: s_last = size (s_buffer)
end module tao_random_numbers

module linalg
  contains
  function diag (a) result (d)
    real, dimension(:,:), intent(in) :: a
    real, dimension(min(size(a,dim=1),size(a,dim=2))) :: d
    integer :: i
    do i = 1, min(size(a, dim = 1), size(a, dim = 2))
       d(i) = a(i,i)
    end do
  end function diag
end module linalg

module vamp_rest
  use tao_random_numbers
  use linalg
end module vamp_rest


-- 


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

[Bug fortran/30084] segmentation falut when compiling certain code

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2006-12-06 22:39 -------
Backtrace:
0x000000000043abf3 in mio_symtree_ref (stp=0xe2b070) at
gcc/fortran/module.c:2199
2199          if ((*stp)->n.sym && check_unique_name((*stp)->name))
#1  0x000000000043b526 in mio_expr (ep=0xe2b028) at gcc/fortran/module.c:2637

Even more reduced test case. Note that changing the order of "use" suppresses
the ICE. (ICE occurs with 4.1, 4.2, 4.3)


module tao_random_numbers
  integer, dimension(10) :: s_buffer
  integer :: s_last = size (s_buffer)
end module tao_random_numbers

module linalg
  contains
  function diag (a) result (d)
    real, dimension(:), intent(in) :: a
    real, dimension(size(a)) :: d
    d = 0.0
  end function diag
end module linalg

module vamp_rest
  use tao_random_numbers
  use linalg
end module vamp_rest


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.1.0 4.2.0 4.3.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-06 22:39:44
               date|                            |


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

[Bug fortran/30084] segmentation falut when compiling certain code

[pault at gcc dot gnu dot org]

------- Comment #4 from pault at gcc dot gnu dot org  2006-12-07 16:29 -------
(In reply to comment #3)

It appears to be some wierdness with size => replace size with kind and the ICE
goes away too.

Paul


-- 


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

[Bug fortran/30084] segmentation falut when compiling certain code

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2006-12-20 12:24 -------
Note the patch was submitted 19/12 but the tracking system seems to have lost
it.

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
   Last reconfirmed|2006-12-06 22:39:44         |2006-12-20 12:24:19
               date|                            |


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

[Bug fortran/30084] segmentation fault when compiling certain code

[burnus at gcc dot gnu dot org]

------- Comment #6 from burnus at gcc dot gnu dot org  2006-12-21 16:18 -------
> Note the patch was submitted 19/12 but the tracking system seems to have lost
> it.
http://gcc.gnu.org/ml/gcc-patches/2006-12/msg01326.html


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|segmentation falut when     |segmentation fault when
                   |compiling certain code      |compiling certain code


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

[Bug fortran/30084] segmentation fault when compiling certain code

[pault at gcc dot gnu dot org]

------- Comment #7 from pault at gcc dot gnu dot org  2006-12-22 20:49 -------
Subject: Bug 30084

Author: pault
Date: Fri Dec 22 20:49:00 2006
New Revision: 120155

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120155
Log:
2006-12-22  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/25818
        * trans-array.c (gfc_trans_g77_array): If the variable is
        optional or not always present, make the statement conditional
        on presence of the argument.
        * gfortran.h : Add symbol_attribute not_always_present.
        * resolve.c (check_argument_lists): New function to check if
        arguments are not present in all entries.

        PR fortran/30084
        * module.c (mio_component_ref): Move treatment of unique name
        variables, during output, to fix_mio_expr.
        (fix_mio_expr): New function that fixes defective expressions
        before they are written to the module file.
        (mio_expr): Call the new function.
        (resolve_entries): Call check_argument_lists.

2006-12-22  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/25818
        * gfortran.dg/entry_array_specs_2.f: New test.

        PR fortran/30084
        * gfortran.dg/nested_modules_6.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/entry_array_specs_2.f
    trunk/gcc/testsuite/gfortran.dg/nested_modules_6.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/module.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/30084] [4.2 and 4.1 only] segmentation fault when compiling certain code

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal


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

[Bug fortran/30084] [4.2 and 4.1 only] segmentation fault when compiling certain code

[pault at gcc dot gnu dot org]

------- Comment #8 from pault at gcc dot gnu dot org  2007-01-03 21:27 -------
Subject: Bug 30084

Author: pault
Date: Wed Jan  3 21:27:17 2007
New Revision: 120399

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120399
Log:
2007-01-03  Paul Thomas  <pault@gcc.gnu.org>

        Backport from trunk

        PR fortran/25818
        * trans-array.c (gfc_trans_g77_array): If the variable is
        optional or not always present, make the statement conditional
        on presence of the argument.
        * gfortran.h : Add symbol_attribute not_always_present.
        * resolve.c (check_argument_lists): New function to check if
        arguments are not present in all entries.

        PR fortran/30084
        * module.c (mio_component_ref): Move treatment of unique name
        variables, during output, to fix_mio_expr.
        (fix_mio_expr): New function that fixes defective expressions
        before they are written to the module file.
        (mio_expr): Call the new function.
        (resolve_entries): Call check_argument_lists.

2007-01-03  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/25818
        * gfortran.dg/entry_array_specs_2.f: New test.

        PR fortran/30084
        * gfortran.dg/nested_modules_6.f90: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/entry_array_specs_2.f
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/nested_modules_6.f90
Modified:
    branches/gcc-4_2-branch/gcc/fortran/ChangeLog
    branches/gcc-4_2-branch/gcc/fortran/gfortran.h
    branches/gcc-4_2-branch/gcc/fortran/module.c
    branches/gcc-4_2-branch/gcc/fortran/resolve.c
    branches/gcc-4_2-branch/gcc/fortran/trans-array.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/30084] [4.1 only] segmentation fault when compiling certain code

[pault at gcc dot gnu dot org]

------- Comment #9 from pault at gcc dot gnu dot org  2007-01-03 21:30 -------
Fixed on trunk and 4.2

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
            Summary|[4.2 and 4.1 only]          |[4.1 only] segmentation
                   |segmentation fault when     |fault when compiling certain
                   |compiling certain code      |code


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

[Bug fortran/30084] [4.1 only] segmentation fault when compiling certain code

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.0


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