This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug fortran/51652] Allocate with type-spec and source-expr: check whether length type-parameter is the same is lacking
- From: "burnus at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 22 Dec 2011 08:44:08 +0000
- Subject: [Bug fortran/51652] Allocate with type-spec and source-expr: check whether length type-parameter is the same is lacking
- Auto-submitted: auto-generated
- References: <bug-51652-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51652
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[F03] ICE with allocatable |Allocate with type-spec and
|scalarstype parameter |source-expr: check whether
| |length type-parameter is
| |the same is lacking
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-12-22 08:44:08 UTC ---
(In reply to comment #1)
> If the value of a nondeferred length type parameter of an allocate-object
> differs from the value of the corresponding type parameter of source-expr,
> an error condition occurs."
The postscripts: Remember that source-expr covers both SOURCE= and MOLD=. And I
forgot to mention that the source of the quote: Fortran 2008, "6.7.1 ALLOCATE
statement", paragraph 6.