r138879 - in /trunk/gcc/ada: ChangeLog gnat_rm....

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Aug  8 13:00:00 2008
New Revision: 138879

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=138879
Log:
2008-08-08  Bob Duff  <duff@adacore.com>

	* gnat_ugn.texi: The "Run-Time Checks" section said "arithmetic overflow
	checking for integer operations (including division by zero)", which
	is wrong -- divide by zero is not part of overflow checking.
	Also added misc clarification about what check-suppression means.

	* gnat_rm.texi: Clarify the meaning of pragma Suppress.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/gnat_ugn.texi