From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 685453857C74; Thu, 23 Jul 2020 21:11:28 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 685453857C74
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1595538688;
 bh=pZDXL6bVX7hWuKAysj/oMqUs4V+NNgmht4q77n5BGhI=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=E5sPiLMs/Ry0x8aiS6vtohZwTyKA6EPV+pP145s6Pd45BSThoxIBnPCG8YDpBVp3F
 cR+qTGm1n+wy971iK7BU5D6SBw3moFSVmKkDEM9XKDn6eA3ZZcrltd9Hbd1Dvdbu/V
 FWqfZ8bdDjPSynW4H4Ja6SBfJANh+Tfk/oKpQHGA=
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/92006] storage_size() returns incorrect value on
 unlimited polymorphic variable (CLASS(*))  when passed a CHARACTER variable
Date: Thu, 23 Jul 2020 21:11:28 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 7.4.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: WAITING
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-92006-4-Ip4cEkwagY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-92006-4@http.gcc.gnu.org/bugzilla/>
References: <bug-92006-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 23 Jul 2020 21:11:28 -0000

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

--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
My draft of the standard says: the argument A

shall be a data object of any type. If it is polymorphic it shall not be an
undefined pointer. If it is unlimited polymorphic or has any deferred type
parameters, it shall not be an unallocated allocatable variable or a
disassociated or undefined pointer.

AFAIU it does not say that unlimited polymorphic should be accessed through=
 a
select type, but I cannot see what would be the value otherwise.=