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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: tasks as part of record
Date: Mon, 13 Oct 2014 08:32:40 +0100
Organization: A noiseless patient Spider
Message-ID: <ly1tqczap3.fsf@pushface.org>
References: <294a973f-5222-4aa3-8971-777cd2eb9174@googlegroups.com>
 <c9ccpaF6mooU1@mid.individual.net>
 <c474fef2-701c-4968-94eb-aec57bee0dd3@googlegroups.com>
 <lyiojxbo7y.fsf@pushface.org>
 <313c39ae-dd7b-4993-910a-0f28dfc35b65@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="865ecc8333c04b7dc8d5f87fc772110b";
 logging-data="27561"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX18ahVT7oX9Y4xZq/EADETd5zG7qXH3Ig1E="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:0ygkJh23aQ+Ewkcnw+uYHBQtekA=
 sha1:WzbySH0O9NW+G1oYeeVSP+9dcus=
Xref: number.nntp.giganews.com comp.lang.ada:189718
Date: 2014-10-13T08:32:40+01:00
List-Id: <comp.lang.ada>

compguy45@gmail.com writes:

> On Monday, October 6, 2014 4:24:02 AM UTC-4, Simon Wright wrote:
>
[..]
>>       type Student is limited record     -- has to be limited
[...]
>>       Students : array (1 .. 10) of Student;
>
> Doesnt this code above give warning "warning: variable "Students" is
> read but never assigned"??

Yes, because it isn't ever assigned, just declared, which means all its
components (including the task component) exist.

It *can't* be assigned, because its components are limited.

So this is an over-enthusiastic warning from GNAT.