https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56670
--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The dump-tree-original shows ... if (name_format != 0B) goto L.1; name_format = (character(kind=1)[1:.name_format] *) __builtin_malloc (1); goto L.2; L.1:; if (.name_format == 0) goto L.2; name_format = (character(kind=1)[1:.name_format] *) __builtin_realloc ((void *) name_format, 1); L.2:; .name_format = 0; ...