[Ada] AI-241

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on mainline.

Ada 2005 AI-241 specifies that if Ada.Exceptions.Exception_Identity
is applied to a null occurrence, then Null_Id is returned instead of
raising an exception. Furthermore, this is a binding interpretation
amendment to Ada 95, so the change can be applied unconditionally.
The following test now executes without raising an exception.

with Ada.Exceptions; use Ada.Exceptions;
procedure K is
begin
   if Exception_Identity (Null_Occurrence) /= Null_Id then
      raise Program_Error;
   end if;
end;

2005-06-14  Robert Dewar  <dewar@adacore.com>

	* a-except.adb (Exception_Identity): return Null_Id for null occurrence
	instead of raising CE (AI-241)
	Add warnings off to allow categorization violations for AI-362

Attachment: difs.10
Description: Text document