[Patch, Fortran] Polymorphism fixes: resolve checks, ucobound

[Tobias Burnus]

Updated patch: I missed that the attr.pointer becomes attr.class_pointer 
with the class container. I have updated the checks in resolve.c and 
added a test case.

OK for the trunk?

Tobias

On 16.12.2011 22:10, Tobias Burnus wrote:
> Dear all,
>
> this patch fixes on of the FIXMEs in coarray/poly_run_1.f90 [and 
> extends the test case] by doing in check.c the same for coarrays as 
> already done for arrays.
>
> Additionally, I encountered bugs in the constraint checking for 
> polymorphic variables, thus, I fixed those and added a test case.
>
> Build and regtested on x86-64-linux.
> OK for the trunk?
>
> Tobias
>
> PS: There are still issues with polymophic coarrays; in particular, 
> argument passing [cf. coarray/poly_run_1.f90] and SELECT TYPE still 
> fail in various ways.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: poly-check-v7.diff
Type: text/x-patch
Size: 16612 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20111218/96e71f7c/attachment.bin>