On Mon, 21 Sep 2020, Jan Hubicka wrote:
> > >
> > > The problem is:
> > >
> > > alsize (struct array15_unknown & restrict a)
> > > {
> > > ...
> > > _2 = *a_13(D).dtype.rank;
> > > _3 = (integer(kind=8)) _2;
> > > ...
> > > }
> > > }
> > > and in main:
> > >
> > > struct array02_integer(kind=4) am;
> > > <bb 6> :
> > > MEM <c_char[8]> [(struct dtype_type *)&am + 24B] = {};
> > > am.dtype.elem_len = 4;
> > > am.dtype.rank = 2;
> > > am.dtype.type = 1;
> > > ...
> > > _52 = alsize (&am);
> > >
> > > Here array15_unknown and array02_integer are different structures with
> > > different canonical types and thus we end up disambiguating the accesses
> > > via base alias sets.
> > >
> > > My understanding is that this _unknown array descriptor is supposed to
> > > be universal and work with all kinds of arrays.
> >
> > But the FE builds a new descriptor for each individual call and thus
> > should build a universal descriptor for a call to an universal
> > descriptor argument.
>
> I see, so you would expect call to alsize to initialize things in
> array15_unkonwn type? That would work too.
Yes, that's my expectation. But let's see what fortran folks say.
Richard.
