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-Thread: 103376,34257fd17abeba14
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!atl-c08.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: [SPARK] Code safety and information hiding
References: <ebuj47$bal$1@sunnews.cern.ch> <gFKEg.138542$1i1.49988@attbi_s72>
  <wccoduhy7er.fsf@shell01.TheWorld.com> <rvxFg.142445$1i1.19629@attbi_s72>
  <upsex12ed.fsf@stephe-leake.org> <%%QFg.913090$084.629274@attbi_s22>
  <uu047jkgz.fsf@stephe-leake.org>
  <20060821131232.Q662@docenti.ing.unipi.it>
From: Stephen Leake <stephen_leake@stephe-leake.org>
Date: Tue, 22 Aug 2006 06:51:59 -0400
Message-ID: <uhd0582ls.fsf@stephe-leake.org>
User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (windows-nt)
Cancel-Lock: sha1:bn58iehZhydeCGAAntI5HQ7GW0Y=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 2204c44eae1df759e00d417050
Xref: g2news2.google.com comp.lang.ada:6314
Date: 2006-08-22T06:51:59-04:00
List-Id: <comp.lang.ada>

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> Stephen Leake has written:
>
> "[..]
>
> Hmm. Now that I think about it, it would be easy to implement a
> run-time check for that rule. But it would be a waste of time in the
> production system. Might still be worth it; I have other run-time
> checks for similar rules (in particular, "symbols must be written
> before being read") that are hard to check otherwise.
>
> [..]"
>
> Was simply Ada code run in the application to check the rule meant by 
> that, or do you have customized run-time checks in your GNAT run-time 
> kernel?

Just Ada code; no modifications to the compiler run-time.

-- 
-- Stephe