Re: Repost: Nobody interested to judge which compiler is right?!

[wojtek@power.com.pl (Wojtek Narczynski)]

> This is from a note of Tucker Taft on Team Ada March 1999.
> I have no longer the exact English wording, I retranslate from 
> (...)

I found it:

http://www.acm.org/archives/wa.cgi?A2=ind9903&L=team-ada&F=&S=&P=10682

I even think I understand it. The purpose of an index_constraint on an
unconstrained access to array type is to introduce a runtime range
check, that's all. Unfortunately...

-- This slightly modified code raises Constraint_Error as expected. 

    type String_Access is access all String;
    
    subtype Len_Positive is Positive range 1 .. 20;
    subtype Len_String is String ( Len_Positive );
    subtype Len_String_Access is String_Access( Len_Positive );

    -- Ada 95 version, no GNAT version
    -- Create a string too long
    LS : aliased String := 2 * Len_String'Length * "*";
   		    
    -- Raises Constraint_Error
    LSA : Len_String_Access := LS'access;

Now that I know that GNAT is not compliant, do you think I should
report it?

Thanks & Regards,
Wojtek