http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46339

--- Comment #18 from paul.richard.thomas at gmail dot com <paul.richard.thomas 
at gmail dot com> 2010-11-16 15:04:39 UTC ---
Dear Tobias,


> If my understanding is correct, we can either try to extend the 'span' hack to
> make it work for more cases - or we defer it to the array descriptor updated
> and possibly error out when it is known that the hack does not work.

Your understanding is correct.  The case at point here should be
easily fixed.  It is a question of getting the span right by obtaining
the element size of the array. ie. you need to go through the
references until a REF_ARRAY is found and to take theelement size of
that array.

Passing these beasts to pointer formal arguments is a tad awkward.
The only way that I know to extend the current mechanism is to pass
'span' variable in the same way as character variables; only when the
formal argument is a pointer, however.  This would mean that all dummy
pointers would have to have a 'span' associated with them.

Note that we could do array descriptor reform in two steps; first add
all the extra fields and then, possibly, change the dimension
structure.  I say possibly about the latter because I am not convinced
that it is necessary and my first attempts this summer indicated what
a hard job it will be. We could get an SoC student going on it?

Cheers

Paul

Reply via email to