[Bug fortran/95340] New: [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[Bug fortran/95340] New: [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[gscfq@t-online.de]

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

            Bug ID: 95340
           Summary: [10/11 Regression] ICE in gfc_match_select_rank, at
                    fortran/match.c:6690
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

With a missing attribute allocatable or pointer;
occurred between 20190825 (error) and 20190901 (ICE) :


$ cat z1.f90
program p
   type t
   end type
   class(t) :: z
   select rank (z)
   end select
end


$ gfortran-11-20200524 -c z1.f90
f951: internal compiler error: Segmentation fault
0xbc0f6f crash_signal
        ../../gcc/toplev.c:328
0x689bef gfc_match_select_rank()
        ../../gcc/fortran/match.c:6690
0x6a860e match_word
        ../../gcc/fortran/parse.c:65
0x6a860e decode_statement
        ../../gcc/fortran/parse.c:429
0x6a9e1a next_free
        ../../gcc/fortran/parse.c:1279
0x6a9e1a next_statement
        ../../gcc/fortran/parse.c:1511
0x6ab46b parse_spec
        ../../gcc/fortran/parse.c:3922
0x6ae23c parse_progunit
        ../../gcc/fortran/parse.c:5851
0x6af919 gfc_parse_file()
        ../../gcc/fortran/parse.c:6392
0x6fb9af gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:210

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
                 CC|                            |kargl at gcc dot gnu.org

--- Comment #1 from kargl at gcc dot gnu.org ---
Index: gcc/fortran/match.c
===================================================================
--- gcc/fortran/match.c (revision 280157)
+++ gcc/fortran/match.c (working copy)
@@ -6639,7 +6639,10 @@ gfc_match_select_rank (void)
       if (expr1->symtree)
        {
          sym = expr1->symtree->n.sym;
-         as = sym->ts.type == BT_CLASS ? CLASS_DATA (sym)->as : sym->as;
+         if (sym->ts.type == BT_CLASS && CLASS_DATA (sym))
+           as = CLASS_DATA (sym)->as;
+         else
+           as = sym->as;
        }

       if (expr1->expr_type != EXPR_VARIABLE

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.2

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-05-27
             Status|UNCONFIRMED                 |NEW
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started to ICE with r10-2912-g70570ec192745095.

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:b62cac6d92ff251213753475b69ec0b269cb7fae

commit r11-1695-gb62cac6d92ff251213753475b69ec0b269cb7fae
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sun Jun 28 16:24:15 2020 +0200

    PR fortran/95340 - ICE in gfc_match_select_rank, at fortran/match.c:6690

    Do not dereference NULL pointer when querying array shape of possibly
    improperly delared variable.

    gcc/fortran/
            PR fortran/95340
            * match.c (gfc_match_select_rank): Do not dereference NULL pointer.

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:687147abdfccc1b53adc9a2d31e419719f3deaab

commit r10-8390-g687147abdfccc1b53adc9a2d31e419719f3deaab
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sun Jun 28 16:24:15 2020 +0200

    PR fortran/95340 - ICE in gfc_match_select_rank, at fortran/match.c:6690

    Do not dereference NULL pointer when querying array shape of possibly
    improperly delared variable.

    gcc/fortran/
            PR fortran/95340
            * match.c (gfc_match_select_rank): Do not dereference NULL pointer.

    (cherry picked from commit b62cac6d92ff251213753475b69ec0b269cb7fae)

[Bug fortran/95340] [10/11 Regression] ICE in gfc_match_select_rank, at fortran/match.c:6690

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #5 from anlauf at gcc dot gnu.org ---
Fixed on master for gcc-11, and on 10-branch.

Thanks for the report!