comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: integers of 1, 2, 4 bytes
Date: Mon, 16 Jun 2014 06:37:13 -0700 (PDT)
Date: 2014-06-16T06:37:13-07:00	[thread overview]
Message-ID: <b1053758-1610-48b0-b968-455952e4d935@googlegroups.com> (raw)
In-Reply-To: <539e20b4$0$6616$9b4e6d93@newsspool4.arcor-online.net>

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.


  reply	other threads:[~2014-06-16 13:37 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-06-15 17:57 integers of 1, 2, 4 bytes hreba
2014-06-15 18:43 ` Dmitry A. Kazakov
2014-06-15 20:52   ` hreba
2014-06-15 19:07 ` Niklas Holsti
2014-06-15 21:25   ` hreba
2014-06-15 22:39     ` Georg Bauhaus
2014-06-16 13:37       ` AdaMagica [this message]
2014-06-16  4:46     ` J-P. Rosen
2014-06-15 19:26 ` Stefan.Lucks
2014-06-15 21:31   ` hreba
2014-06-15 21:55     ` Niklas Holsti
2014-06-15 22:09 ` Jeffrey Carter
2014-06-16 15:38 ` Adam Beneschan
2014-06-16 17:27 ` gautier_niouzes
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox