https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84006
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
CC| |tkoenig at gcc dot gnu.org
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Looks valid to me.
F2018, 16.9.184 STORAGE_SIZE (A [, KIND])
3 Arguments.
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.
