[Bug fortran/100607] New: ICE with SELECT RANK

["burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 100607
           Summary: ICE with SELECT RANK
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

Created attachment 50815
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50815&action=edit
Fortran testcase

The following program works, if the invalid code is commented.

The invalid part violates (quote from F202x but same in F2018):
  "C1158  A SELECT RANK construct shall not have aselect-rank-case-stmtthat is
RANK ( * )
   if the selector23has the ALLOCATABLE or POINTER attribute."


Hence, the code is invalid. Output is the following

Notes:
- '__tmp_INTEGER_4_rank_m1' error is bogus
- 'cannot be used' error is valid, but should only be printed once
- An ICE is always wrong, of course.



   24 |  rank(*) ! { dg-error "cannot be used with the pointer or allocatable
selector" }
Error: Allocatable array ‘__tmp_INTEGER_4_rank_m1’ at (1) must have a deferred
shape or assumed rank

   24 |  rank(*) ! { dg-error "cannot be used with the pointer or allocatable
selector" }
Error: RANK (*) at (1) cannot be used with the pointer or allocatable selector
at (2)

   24 |  rank(*) ! { dg-error "cannot be used with the pointer or allocatable
selector" }
Error: RANK (*) at (1) cannot be used with the pointer or allocatable selector
at (2)

f951: internal compiler error: in simplify_bound, at fortran/simplify.c:4266
0x619680 simplify_bound
        ../../repos/gcc/gcc/fortran/simplify.c:4266