[Bug fortran/45794] New: internal compiler error: Segmentation fault

[Bug fortran/45794] New: internal compiler error: Segmentation fault

[neil.n.carlson at gmail dot com]

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

           Summary: internal compiler error: Segmentation fault
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: neil.n.carlson@gmail.com


The following code causes an internal compiler error with the
current trunk:

$ gfortran --version
GNU Fortran (GCC) 4.6.0 20100924 (experimental)

subroutine foo (vector, mask)
  real :: vector(:)
  logical, optional :: mask(:)
  integer :: loc(1)
  if (present(mask)) then
    loc = maxloc(vector, mask)
  end if
end subroutine

$ gfortran -c bug3.f90 
bug3.f90: In function ‘foo’:
bug3.f90:6:0: internal compiler error: Segmentation fault

Note that this bug does not exist in 4.4 (or 4.5 I think).

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[burnus at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.5.0
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2010.09.25 19:08:10
               date|                            |
                 CC|                            |burnus at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|internal compiler error:    |[4.6 Regression] ICE:
                   |Segmentation fault          |Segmentation fault in
                   |                            |gfc_conv_procedure_call
   Target Milestone|---                         |4.6.0
      Known to fail|                            |4.6.0

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2010-09-25 19:08:10 UTC ---
Fails with 4.6.0 Rev. 163668 and 164548
Works with 4.5.0

==16264== Invalid read of size 4
==16264==    at 0x57F655: gfc_conv_procedure_call (trans-expr.c:3119)
==16264==    by 0x582FD8: gfc_conv_intrinsic_funcall (trans-intrinsic.c:1844)
==16264==    by 0x58D423: gfc_conv_intrinsic_function (trans-intrinsic.c:5595)
==16264==    by 0x581642: gfc_conv_function_expr (trans-expr.c:3914)
==16264==    by 0x582534: gfc_trans_assignment (trans-expr.c:5370)
==16264==    by 0x558B45: trans_code (trans.c:1119)

Breakpoint 1, gfc_conv_procedure_call (se=0x7fffffffd3f0, sym=0x144c350,
args=0x13f7d80, expr=0x144baf0, append_args=0x0)
    at fortran/trans-expr.c:3119
3119                       && (fsym == NULL || fsym->as->type ==
AS_ASSUMED_SHAPE
(gdb) p fsym
$1 = (gfc_symbol *) 0x1449580
(gdb) p fsym->name
$2 = 0x2aaaad4fcf40 "mask"
(gdb) p fsym->as
$3 = (gfc_array_spec *) 0x0
(gdb) p fsym->attr.dimension 
$4 = 0

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[janus at gcc dot gnu.org]

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

--- Comment #2 from janus at gcc dot gnu.org 2010-10-02 11:57:49 UTC ---
I think this regression is due to r153793, which was Tobias' fix for PR41850.

The reason for the ICE is that the formal argument "mask" of
"_gfortran_mmaxloc0_4_r4" has "as = NULL" (while the actual argument has
nonzero rank). I'm not sure if the missing array spec is special to MAXLOC, or
if this is the case for all intrinsics.

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[jvdelisle at gcc dot gnu.org]

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

Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jvdelisle at gcc dot
                   |                            |gnu.org
         AssignedTo|unassigned at gcc dot       |jvdelisle at gcc dot
                   |gnu.org                     |gnu.org

--- Comment #3 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-11-12 20:24:48 UTC ---
Working on it.  The obvious fix does not fix it.

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[jvdelisle at gcc dot gnu.org]

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

--- Comment #4 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-11-12 23:07:24 UTC ---
Author: jvdelisle
Date: Fri Nov 12 23:07:18 2010
New Revision: 166686

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166686
Log:
2010-11-12  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

    PR fortran/45794
    trans-expr.c (gfc_conv_procedure_call): Avoid NULL array spec.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-expr.c

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[jvdelisle at gcc dot gnu.org]

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

--- Comment #5 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-11-12 23:17:27 UTC ---
Author: jvdelisle
Date: Fri Nov 12 23:17:24 2010
New Revision: 166687

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166687
Log:
2010-11-12  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

    PR fortran/45794
    * gfortran.dg/optional_mask.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/optional_mask.f90
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/45794] [4.6 Regression] ICE: Segmentation fault in gfc_conv_procedure_call

[jvdelisle at gcc dot gnu.org]

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

Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:

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

--- Comment #6 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-11-12 23:18:50 UTC ---
Fixed on trunk.