[Patch, Fortran] assumed-rank some bound intrinsics support, fix failures and improve diagnostcs

[Tobias Burnus]

On 07/26/2012 05:12 PM, Mikael Morin wrote:
> On 26/07/2012 16:53, Mikael Morin wrote:
>> Here is a draft for those. Lightly tested with print *, ... 

Looks rather nice. The output for test1 is also  good:

   integer :: a(1:3,-2:5)
gives
   lbound(arg) == [1, 1]
   ubound(arg) == [3, 8]
   shape(arg) == [3, 8]

However, if the dummy is allocatable or a pointer, the result should be:

   lbound(arg) == [1, -2]
   ubound(arg) == [3, 5]
   shape(arg) == [3, 8]

which your second test case doesn't give. (At least that's how I understand TS and F2008.)

Except for that issue, I like your patch. Thanks!

Tobias