Re: [PATCH] Fix FMT= with CHARACTER arrays (PR fortran/39865, take 2)

[Jakub Jelinek <jakub at redhat dot com>]

On Tue, May 12, 2009 at 11:41:58AM -0700, Steve Kargl wrote:
> > And this updated patch instead should fix it fully, take care of the needed
> > packing if the array is not packed.
> > To avoid code duplication, I'm using gfc_conv_array_parameter function
> > which does almost what we want, except that it doesn't compute the array
> > size and the return value in se->expr isn't something from which it could be
> > computed.  So the patch adds an optional size outgoing argument, if
> > non-NULL, the size will be computed, all older callers just pass NULL.

The patch also changes behavior for the e->rank == 0 (i.e. element of an
array with type other than CHARACTER) case.  Previously for the element
case the FMT= string would start at the address of the element and go on
until end of the array, would generally work just with variables, not
function calls.

The patch as posted changes the size to the size of the element.

This isn't something that is covered by the standard, so I'm not sure what
should be done in that case.  Consider:

subroutine foo (a,b)
complex :: a(1:5,1:10)
complex :: b(:,:)
write (*, fmt=a(2,3)) 1
write (*, fmt=b(3,2)) 1
end subroutine

Is the first write supposed to use format starting at &a[11] (C notation)
with the length sizeof(complex) * 39, or with the length sizeof(complex)?
What about the second case, especially if b isn't a packed array?  Shall
the size in that case include any gaps in the array?

	Jakub