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: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Should Ada runtime provide special primitives for cryptography?
Date: Wed, 8 Oct 2014 22:12:04 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <m14ue4$lu9$1@loke.gir.dk>
References: <slrnm2nfj4.nrc.lithiumcat@nat.rebma.instinctive.eu>
 <m0gh90$abp$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1412824324 22473 69.95.181.76 (9 Oct 2014 03:12:04 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 9 Oct 2014 03:12:04 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: number.nntp.giganews.com comp.lang.ada:189571
Date: 2014-10-08T22:12:04-05:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <bauhaus@futureapps.invalid> wrote in message 
news:m0gh90$abp$1@dont-email.me...
> On 01.10.14 10:42, Natasha Kerensikova wrote:
>> I believe it would not be difficult for a compiler vendor to provide, as
>> part of the runtime, a zeroing procedure guaranteed to not be optimized
>> away
>
> Have you tried the Volatile aspect?

Right, Volatile provides the guarentees that are needed. In particular, 
C.6(20) says that loads and stores of volatile objects can't be optimized, 
and C.6(22/2) strongly suggests that the loads and stores are exactly of the 
object and nothing else.

So there's no need for an AI; the capability has been in Ada since Ada 95.

                                      Randy.