[Bug fortran/47730] [OOP] ICE on invalid source in connection with SELECT TYPE

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

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2011.02.14 10:23:13
                 CC|                            |janus at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|ICE as a consequence of     |[OOP] ICE on invalid source
                   |invalid source code         |in connection with SELECT
                   |attempting to register a    |TYPE
                   |type-bound procedure        |

--- Comment #1 from janus at gcc dot gnu.org 2011-02-14 10:23:13 UTC ---
(In reply to comment #0)
> The code below produces an ICE after reporting that assign_square must be a
> module procedure or an external procedure.

Not quite. For me, the exact output is:

       procedure ::  assign_square
                1
Error: Argument 'this' of 'assign_square' with PASS(this) at (1) must be of the
derived-type 'square'
f951: internal compiler error: in gfc_enforce_clean_symbol_state, at
fortran/symbol.c:3426


I think throwing the error is correct, but of course the ICE should not occur.