2014-10-23 Thomas Quinot <quinot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Oct 2014 10:09:31 +0000 (10:09 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Oct 2014 10:09:31 +0000 (10:09 +0000)
commit923816ccfcb2879f824915c6e03eceb61f46885e
tree5bea1e2894e05cee8de3881b4ded6cb9585f310e
parent9245d2c527dbb7237c4b0b87d9ccb504f59f77a1
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).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216580 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/a-strsea.adb
gcc/ada/bcheck.adb
gcc/ada/gnat_rm.texi