OSDN Git Service

2008-08-08 Bob Duff <duff@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Aug 2008 13:00:00 +0000 (13:00 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Aug 2008 13:00:00 +0000 (13:00 +0000)
commitdc028b888b4ed2bbb4c6b94243d63ecf67c8b759
treef8c967e18227f6fca200a1c4420eb7e07fa418de
parentc5233e642388f7afdf87185a15379975e53b3a1f
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138879 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi