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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a8567eadfdf78b98
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-16 00:32:56 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!wn11feed!worldnet.att.net!204.127.198.204!attbi_feed4!attbi.com!rwcrnsc53.POSTED!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: Why does this happen?
References: <ki7r9.32$cX1.2997@read2.inet.fi>
X-Newsreader: Tom's custom newsreader
Message-ID: <CC8r9.48754$gr6.50364@rwcrnsc53>
NNTP-Posting-Host: 12.234.13.56
X-Complaints-To: abuse@attbi.com
X-Trace: rwcrnsc53 1034753570 12.234.13.56 (Wed, 16 Oct 2002 07:32:50 GMT)
NNTP-Posting-Date: Wed, 16 Oct 2002 07:32:50 GMT
Organization: AT&T Broadband
Date: Wed, 16 Oct 2002 07:32:55 GMT
Xref: archiver1.google.com comp.lang.ada:29830
Date: 2002-10-16T07:32:55+00:00
List-Id: <comp.lang.ada>

> > Gnat 3.14 on my Windows system compiles those lines without complaint.
>
> ... but not on my Gnat 3.14, Windows NT.
> I get the same error message as OP.
  Interesting.  The declarations compile OK.  An assignment to T.M
in the body causes the error message to appear in the spec.  Dropping
Func, the body:

package body test is

   junk:mtr_type(1 .. 2, 1 .. 2);

   procedure Proc(T : in out T_Typ) is
--   junk : mtr_type := T.M;
   begin
     T.M := junk;
   end Proc;
end test;

causes the error message, but if you switch which "junk" is commented out,
Gnat gives its "I crashed" message.  Clearly a confused compiler.