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,1f0967a619e5d83e X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!postnews.google.com!e9g2000prf.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: Re: Ada checks suppression thanks to compilation options and Ada conformity Date: Thu, 08 Nov 2007 16:25:28 -0800 Organization: http://groups.google.com Message-ID: <1194567928.824273.246830@e9g2000prf.googlegroups.com> References: <4733972C.C7E7BCE@free.fr> NNTP-Posting-Host: 66.126.103.122 Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: posting.google.com 1194567929 11381 127.0.0.1 (9 Nov 2007 00:25:29 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 9 Nov 2007 00:25:29 +0000 (UTC) In-Reply-To: <4733972C.C7E7BCE@free.fr> User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.7.12) Gecko/20050922 Fedora/1.7.12-1.3.1,gzip(gfe),gzip(gfe) Complaints-To: groups-abuse@google.com Injection-Info: e9g2000prf.googlegroups.com; posting-host=66.126.103.122; posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0 Xref: g2news1.google.com comp.lang.ada:18225 Date: 2007-11-08T16:25:28-08:00 List-Id: On Nov 8, 3:09 pm, Christophe TRAVERS wrote: > I send this message in order to get your opinion on the following > subject : > > An Ada program was supposed to take into account the Ada exceptions : > CONSTRAINT_ERROR, NUMERIC_ERROR, ... > The pragma SUPPRESS was forbidden. So, it was not used in the Ada source > code. > Everybody was convinced that the exception mechanism was fully > operational in the embedded object executable. > > Nevertheless, the object code was compiled thanks to the Ada TARTAN > compiler with some compilation options have suppressed all the "checks" > in the entire object code. > > From my point of view, these compilation options that can suppress the > checks are a way to get around the Ada language norm. > > What it you opinion on this suject?. The compilation options are there for a reason---customers want them. Generally, the idea is to leave checking on while you're testing a program, and then when you're confident it works, you can compile the program with checking off so that it runs faster. Although you could view this as "getting around the Ada language norm", there's nothing wrong with it; the language designers wouldn't have added Suppress in the first place if they intended for Ada to be a language for "purists", rather than a language to be used in the real world. I doubt that there's any Ada compiler that doesn't have command-line options to turn off checking. If there's some sort of policy that forbids Suppress, but the code is being compiled with options that achieve the same effect, it sounds like there's a management problem. Either the policy is too rigid to be practical, or the programmers are too lazy to work within the policy, or the programmers haven't been properly educated as to the reason for the policy; or someone just doesn't know what they're doing. -- Adam