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,ecc38b3271b36b88
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: What is the warning about builtin-function on gcc-4.6.0 ?
Date: Wed, 30 Mar 2011 14:28:12 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <in008f$n8u$1@munin.nbi.dk>
References: <b7736fb9-8593-47cc-9ac5-58a95ff6be5f@34g2000pru.googlegroups.com>
 <87aagiclte.fsf@mid.deneb.enyo.de>
 <475d10ca-5d4e-490c-9b88-e12cd3cd3faa@b13g2000prf.googlegroups.com>
 <87d3lejjyv.fsf@mid.deneb.enyo.de>
 <6c748f70-7e75-49b4-a467-d1d2d6b24323@w9g2000prg.googlegroups.com>
 <m2d3leey0k.fsf@pushface.org> <87k4flhoeg.fsf@mid.deneb.enyo.de>
 <m28vw1g7wf.fsf@pushface.org> <8762r5hl2u.fsf@mid.deneb.enyo.de>
 <imm67s$49s$1@munin.nbi.dk> <87vcz5ot5z.fsf@mid.deneb.enyo.de>
 <wcc62r4h5ha.fsf@shell01.TheWorld.com> <87sju8lcis.fsf@mid.deneb.enyo.de>
 <wccsju8fptr.fsf@shell01.TheWorld.com> <imrfku$1r0$1@munin.nbi.dk>
 <wcc39m5u64w.fsf@shell01.TheWorld.com>
 <f0937e6c-cc40-47b9-b17b-2f3fd594e61e@r19g2000prm.googlegroups.com>
 <wcc62r022b4.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1301513296 23838 69.95.181.76 (30 Mar 2011 19:28:16 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 30 Mar 2011 19:28:16 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feed.ac-versailles.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
Xref: g2news1.google.com comp.lang.ada:18610
Date: 2011-03-30T14:28:12-05:00
List-Id: <comp.lang.ada>

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcc62r022b4.fsf@shell01.TheWorld.com...
...
> I was imagining a compiler that returns the right answer for
> abs(Integer'First).  It's not entirely unreasonable.  Perhaps
> Integer is 32 bits, and the arithmetic is done in a 64-bit
> register, which can obviously represent 2**31 just fine.

You don't need to imagine it. Janus/Ada does that (presuming you replace 32 
by 16 and 64 by 32 in the above writeup). But I believe that we always 
ensure parameters are valid, so that implies a check when the parameter is 
passed to EQUAL, in the absence of any earlier check.

                                            Randy.