[Ada] Remove spurious warning

[Arnaud Charlet <charlet at adacore dot com>]

Tested on i686-linux, committed on mainline.

Fix a spurious warning when using Mod attribute.
The following must compile quietly:

package Q is
   Modulus : constant := 4;
   type S is range 0 .. Modulus - 1; -- S'Last < Modulus
   type M is mod Modulus;
   function F (X : S) return M;
end;

package body Q is
   function F (X : S) return M is
   begin
      return M'Mod (X);
   end;
end;

2005-07-04  Ed Schonberg  <schonberg@adacore.com>

	* exp_attr.adb (Mod): Evaluate condition expression with checks off,
	to prevent spurious warnings.

Attachment: difs.7
Description: Text document