From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00,PLING_QUERY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,478ee4201c470ff5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-30 10:52:14 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: wojtek@power.com.pl (Wojtek Narczynski)
Newsgroups: comp.lang.ada
Subject: Re: Repost: Nobody interested to judge which compiler is right?!
Date: 30 Jan 2003 10:52:14 -0800
Organization: http://groups.google.com/
Message-ID: <5ad0dd8a.0301301052.251bf0e3@posting.google.com>
References: <mailman.15.1043910058.30820.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: 80.55.195.178
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1043952734 12966 127.0.0.1 (30 Jan 2003 18:52:14
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 30 Jan 2003 18:52:14 GMT
Xref: archiver1.google.com comp.lang.ada:33610
Date: 2003-01-30T18:52:14+00:00
List-Id: <comp.lang.ada>

> 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