> > > > 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. Honza