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=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1f0967a619e5d83e,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp19-1.free.fr!not-for-mail
Message-ID: <4733972C.C7E7BCE@free.fr>
Date: Fri, 09 Nov 2007 00:09:32 +0100
From: Christophe TRAVERS <christophe.travers1@free.fr>
X-Mailer: Mozilla 4.7 [fr] (WinNT; I)
X-Accept-Language: fr
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Ada checks suppression thanks to compilation options and Ada
 conformity
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Organization: Guest of ProXad - France
NNTP-Posting-Date: 09 Nov 2007 00:09:35 MET
NNTP-Posting-Host: 82.230.37.179
X-Trace: 1194563375 news-3.free.fr 17274 82.230.37.179:60532
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:18222
Date: 2007-11-09T00:09:35+01:00
List-Id: <comp.lang.ada>

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?.

Sincerely.