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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.58.187.44 with SMTP id fp12mr30927vec.24.1402925834350; Mon, 16 Jun 2014 06:37:14 -0700 (PDT) X-Received: by 10.182.191.68 with SMTP id gw4mr19407obc.15.1402925834150; Mon, 16 Jun 2014 06:37:14 -0700 (PDT) Path: border1.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!w8no3196777qac.0!news-out.google.com!a8ni3066qaq.1!nntp.google.com!a13no4147497igq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 16 Jun 2014 06:37:13 -0700 (PDT) In-Reply-To: <539e20b4$0$6616$9b4e6d93@newsspool4.arcor-online.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.10.191; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.7.10.191 References: <539e20b4$0$6616$9b4e6d93@newsspool4.arcor-online.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: integers of 1, 2, 4 bytes From: AdaMagica Injection-Date: Mon, 16 Jun 2014 13:37:14 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Original-Bytes: 1795 Xref: number.nntp.dca.giganews.com comp.lang.ada:186966 Date: 2014-06-16T06:37:13-07:00 List-Id: On Monday, June 16, 2014 12:39:47 AM UTC+2, Georg Bauhaus wrote: > - documenting the intent using pragma Suppress (LRM 11.5), > - asking the compiler to suppress range checks when it > translates a unit. Be careful! Pragma Suppress will not necessarily remove the check, e.g. when the check comes for "free" (see RM 11.5, especially (29)). If a suppressed would have failed, the program is erroneous. See the RM 1.1.5 what erroneous means.