[Bug fortran/41113] spurious _gfortran_internal_pack

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2009-08-19 13:30 -------
Created an attachment (id=18401)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18401&action=view)
Draft patch - first steps but incomplete & will not work

The problem is:

   CALL S1(d%data)

We have the variable "d" which contains first the component reference "data"
and then the array reference whole-array. The current check in trans-array.c's
gfc_conv_array_parameter is, however:

  full_array_var = (expr->expr_type == EXPR_VARIABLE
                    && expr->ref->type == REF_ARRAY
                    && expr->ref->u.ar.type == AR_FULL);

which returns "false". It gets quite complicated if we want to handle:
   foo(1)%bar(1:1)%variable(:)(sub:string)

Attached patch does the first steps, but it needs some improvements to handle 
"sym" and "comp" correctly. "sym->" appears all over the place in the rest of
the function and it needs to be properly handled.  (NOTE: The attached patch
will not work!)


Cross reference:

a) Related PR 41117. Here, one has the same problem as for (1:1) or (j:j) one
does not have an element or a whole array but a known-to-be contiguous section.
 (j:j) is a challenge but one should be able to handle it, (1*i,i) would be
more complicated). In the PR one has (:,1:1), i.e. whole-section access on the
left followed by an array-element or size-one array-section reference on the
right.
Caveat: For (1:1), whole array and (:,1:1) - that does not work for
assumed-shape arrays - unless the dummy is allocatable. Otherwise they are not
contiguous.

b) PR 36933. At least some of the examples are identical to the one in comment
0.


-- 


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