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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How to get nice with GNAT?
Date: Wed, 26 Nov 2014 07:37:09 +0000
Organization: A noiseless patient Spider
Message-ID: <ly8uiy2z16.fsf@pushface.org>
References: <slrnm6u97f.nrc.lithiumcat@nat.rebma.instinctive.eu>
	<dda292cb-97ac-4ab5-b29d-b3c0ec232c5b@googlegroups.com>
	<m4th8h$jce$1@dont-email.me>
	<0d8452a9-68c9-4835-b6f3-17407132ca9f@googlegroups.com>
	<jtq67a5ffb7fm44joao6a7nbvav7mdq29o@4ax.com>
	<8194a204-7b15-463d-a2fd-4d3ba342fe97@googlegroups.com>
	<8f203a9a-6c7c-4614-bc7d-efa65bf10776@googlegroups.com>
	<m52urp$9nc$1@loke.gir.dk> <lyh9xm3lkk.fsf@pushface.org>
	<m53rbv$nvk$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: mx02.eternal-september.org;
 posting-host="0ae4cc8b8d80483add419fa719d67148";
	logging-data="3328"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/5SM2+KdakIfsGthRlfIlQge7uH7I/FB8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:bjTbadPpKuhb7PaVRJzbX6Kv3B0=
	sha1:N6Tdp8VL0jkMwMw/9/RTrZ4t59s=
Xref: news.eternal-september.org comp.lang.ada:23735
Date: 2014-11-26T07:37:09+00:00
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> writes:

> Le 26/11/2014 00:30, Simon Wright a écrit :
>> We discovered that some misguided people had used
>> 
>>    exception
>>       when others => null;
>>    end;
>> 
>> and I had the fun of using ASIS to check the whole application for this
>> pattern via ASIS2XML and an xslt-based report.
>> 
>> Today I expect we'd use AdaControl. I have to say I don't remember
>> whether we could have then (probably about 2007).
>
> You could ;-). The rule to check this (statements
> (exception_others_null)) has been introduced in version 1.5r16, october
> 2006.

Apologies, then