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

[Tobias Burnus]

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-v6.diff
Type: text/x-patch
Size: 15483 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20111216/724eb73f/attachment.bin>