[Bug fortran/57042] New: ICE/Segfault with -fdump-parse-tree

[Bug fortran/57042] New: ICE/Segfault with -fdump-parse-tree

[burnus at gcc dot gnu.org]

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

             Bug #: 57042
           Summary: ICE/Segfault with -fdump-parse-tree
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


use iso_fortran_env; print *, real_kinds ; end

fails with:
f951: internal compiler error: Segmentation fault
0x9a43af crash_signal
        ../../gcc/toplev.c:332
0x56e974 show_typespec
        ../../gcc/fortran/dump-parse-tree.c:113

[Bug fortran/57042] ICE/Segfault with -fdump-parse-tree

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tkoenig at gcc dot gnu.org

--- Comment #1 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2013-05-01 18:49:09 UTC ---
The problem is that compiler_options does not have
a valid length:

Program received signal SIGSEGV, Segmentation fault.
0x0000000000523154 in show_typespec (ts=0x1621500) at
../../trunk/gcc/fortran/dump-parse-tree.c:113
113           show_expr (ts->u.cl->length);
(gdb) up
#1  0x00000000005265fd in show_symbol (sym=0x16214e0) at
../../trunk/gcc/fortran/dump-parse-tree.c:841
841       show_typespec (&sym->ts);
(gdb) p sym->name
$5 = 0x7ffff6c77630 "compiler_options"
(gdb) p sym->ts
$6 = {type = BT_CHARACTER, kind = 1, u = {derived = 0x0, cl = 0x0, pad = 0},
interface = 0x0, is_c_interop = 0, is_iso_c = 0, f90_type = BT_UNKNOWN, 
  deferred = false}

[Bug fortran/57042] ICE/Segfault with -fdump-parse-tree

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-05-01
     Ever Confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-05-01 18:54:30 UTC ---
Confirmed.

[Bug fortran/57042] [4.7/4.8/4.9 Regression] ICE/Segfault with -fdump-parse-tree

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE/Segfault with           |[4.7/4.8/4.9 Regression]
                   |-fdump-parse-tree           |ICE/Segfault with
                   |                            |-fdump-parse-tree

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-05-01 19:08:41 UTC ---
The ICE appeared between revisions 164285 (2010-09-14, no ICE) and 164728
(2010-09-29, ICE).

[Bug fortran/57042] [4.7/4.8/4.9 Regression] ICE/Segfault with -fdump-parse-tree

[tkoenig at gcc dot gnu.org]

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

--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2013-05-01 19:45:13 UTC ---
Other functions returning characters have a bogus
typespec:

ig25@linux-fd1f:~/Krempel/Dump> cat b.f90
program main
  print *,adjustl("   a")
end
ig25@linux-fd1f:~/Krempel/Dump> gfortran -fdump-fortran-original b.f90 

Namespace: A-H: (REAL 4) I-N: (INTEGER 4) O-Z: (REAL 4)
procedure name = main
  symtree: 'adjustl'     || symbol: 'adjustl'      
    type spec : (REAL 4)
    attributes: (PROCEDURE  FUNCTION IMPLICIT-TYPE)
    result: adjustl
  symtree: 'main'        || symbol: 'main'         
    type spec : (UNKNOWN 0)
    attributes: (PROGRAM PUBLIC  SUBROUTINE)

  code:
  WRITE UNIT=6 FMT=-1
  TRANSFER 'a   '
  DT_END

[Bug fortran/57042] [4.7/4.8/4.9 Regression] ICE/Segfault with -fdump-parse-tree

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
   Target Milestone|---                         |4.7.4

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org
            Summary|[4.7/4.8/4.9 Regression]    |[4.7/4.8 Regression]
                   |ICE/Segfault with           |ICE/Segfault with
                   |-fdump-parse-tree           |-fdump-parse-tree

--- Comment #5 from janus at gcc dot gnu.org ---
The ICE on comment 0 has been fixed with r206237 on trunk (cf. PR 59612). I was
not aware that this is a regression. Should I backport to 4.8 and 4.7?

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

--- Comment #6 from janus at gcc dot gnu.org ---
(In reply to janus from comment #5)
> I was not aware that this is a regression.

The ICE on comment 0 happens only with 4.6 and later, due the fact that the ICE
occurs on the COMPILER_OPTIONS symbol (which was implemented in 4.6).

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |janus at gcc dot gnu.org

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

--- Comment #7 from janus at gcc dot gnu.org ---
(In reply to Thomas Koenig from comment #4)
> Other functions returning characters have a bogus
> typespec:

Huh. Problem with implicit typing?

Adding 'implicit none' yields an unknown type for 'adjustl':


Namespace: A-Z: (UNKNOWN 0)
procedure name = main
  symtree: 'adjustl'     || symbol: 'adjustl'      
    type spec : (UNKNOWN 0)
    attributes: (PROCEDURE  FUNCTION)
    result: adjustl
  symtree: 'main'        || symbol: 'main'         
    type spec : (UNKNOWN 0)
    attributes: (PROGRAM PUBLIC  SUBROUTINE)

  code:
  WRITE UNIT=6 FMT=-1
  TRANSFER 'a   '
  DT_END

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

--- Comment #8 from janus at gcc dot gnu.org ---
Author: janus
Date: Sat Jan 11 20:34:48 2014
New Revision: 206556

URL: http://gcc.gnu.org/viewcvs?rev=206556&root=gcc&view=rev
Log:
2014-01-11  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    2013-12-29  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/59612
    PR fortran/57042
    * dump-parse-tree.c (show_typespec): Check for charlen.
    * invoke.texi: Fix documentation of -fdump-fortran-optimized and
    -fdump-parse-tree.

Modified:
    branches/gcc-4_8-branch/gcc/fortran/ChangeLog
    branches/gcc-4_8-branch/gcc/fortran/dump-parse-tree.c
    branches/gcc-4_8-branch/gcc/fortran/invoke.texi

[Bug fortran/57042] [4.7/4.8 Regression] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

--- Comment #9 from janus at gcc dot gnu.org ---
Author: janus
Date: Sat Jan 11 22:47:25 2014
New Revision: 206560

URL: http://gcc.gnu.org/viewcvs?rev=206560&root=gcc&view=rev
Log:
2014-01-11  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    2013-12-29  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/59612
    PR fortran/57042
    * dump-parse-tree.c (show_typespec): Check for charlen.
    * invoke.texi: Fix documentation of -fdump-fortran-optimized and
    -fdump-parse-tree.

Modified:
    branches/gcc-4_7-branch/gcc/fortran/ChangeLog
    branches/gcc-4_7-branch/gcc/fortran/dump-parse-tree.c
    branches/gcc-4_7-branch/gcc/fortran/invoke.texi

[Bug fortran/57042] ICE/Segfault with -fdump-parse-tree

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.7/4.8 Regression]        |ICE/Segfault with
                   |ICE/Segfault with           |-fdump-parse-tree
                   |-fdump-parse-tree           |

--- Comment #10 from janus at gcc dot gnu.org ---
The ICE regression has been fixed on 4.7, 4.8 and trunk. Todo: comment 4/7.

[Bug fortran/57042] ICE/Segfault with -fdump-parse-tree

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.4                       |---

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Unsetting target milestone of open non-regression bug from version of branch
being closed.

[Bug fortran/57042] Strange typespec with -fdump-parse-tree

[fxcoudert at gcc dot gnu.org]

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

Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |diagnostic
                 CC|                            |fxcoudert at gcc dot gnu.org
            Version|4.9.0                       |12.0

--- Comment #14 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
The bug in the parse tree dump is still present, as ADJUSTL and TRIM have
unknown type:


$ cat s.f90 
program main
  implicit none
  print *, adjustl("   a   ")
  print *, trim("   a   ")
end

$ gfortran -fdump-fortran-original s.f90 

Namespace: A-Z: (UNKNOWN 0)
procedure name = main
  symtree: 'adjustl'     || symbol: 'adjustl'      
    type spec : (UNKNOWN 0)
    attributes: (PROCEDURE INTRINSIC-PROC  FUNCTION ARRAY-OUTER-DEPENDENCY)
    result: adjustl
  symtree: 'main'        || symbol: 'main'         
    type spec : (UNKNOWN 0)
    attributes: (PROGRAM PUBLIC  SUBROUTINE IS-MAIN-PROGRAM)
  symtree: 'trim'        || symbol: 'trim'         
    type spec : (UNKNOWN 0)
    attributes: (PROCEDURE INTRINSIC-PROC  FUNCTION ARRAY-OUTER-DEPENDENCY)
    result: trim

  code:
  WRITE UNIT=6 FMT=-1
  TRANSFER 'a      '
  DT_END
  WRITE UNIT=6 FMT=-1
  TRANSFER '   a'
  DT_END

------------------------------------------