[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 23 Oct 2014 10:09:31 +0000 (12:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 23 Oct 2014 10:09:31 +0000 (12:09 +0200)
commit3fdb58e2eb3b2dbb3ec9bb12daf8c02fcc387e9e
tree5bea1e2894e05cee8de3881b4ded6cb9585f310e
parent929315a9177368d6b8807299bc7da3ac5e1dca21
[multiple changes]

2014-10-23  Thomas Quinot  <quinot@adacore.com>

* bcheck.adb (Check_Consistent_SSO_Default): Exclude internal
units from consistency check.
* gnat_rm.texi (Default_Scalar_Storage_Order): Document that
consistency check excludes run-time units.

2014-10-23  Ed Schonberg  <schonberg@adacore.com>

* a-strsea.adb (Find_Token): Enable constraint checking in this
procedure, so that even when compiling with checks suppressed, as is
the case for the run-time, an exception is raised in this routine when
the input meets the conditions described in RM 2005 A.4.3 (68/1).

From-SVN: r216580
gcc/ada/ChangeLog
gcc/ada/a-strsea.adb
gcc/ada/bcheck.adb
gcc/ada/gnat_rm.texi