https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83318
--- Comment #5 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- I don't know how I missed F2008:C631 C631 (R626) A type-param-value in a type-spec shall be an asterisk if and only if each allocate-object is a dummy argument for which the corresponding type parameter is assumed. This is going to make the fix real ugly. Each alloc-object needs to be checked that it is assumed length.