[multiple changes]

2014-07-30  Steve Baird  <baird@adacore.com>

	* exp_ch4.adb (Expand_N_Indexed_Component): Disable optimized handling
	of A(I..J)(K) in CodePeer_Mode.

2014-07-30  Ben Brosgol  <brosgol@adacore.com>

	* gnat_ugn.texi: Fix typo.

From-SVN: r213297

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e884ff2a8be9b5ba5ebf7a1a2599b512c7f78ca7..e6c0b06b65521307089807c4429ca5416028b1f3 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2014-07-30  Steve Baird  <baird@adacore.com>
+
+       * exp_ch4.adb (Expand_N_Indexed_Component): Disable optimized handling
+       of A(I..J)(K) in CodePeer_Mode.
+
+2014-07-30  Ben Brosgol  <brosgol@adacore.com>
+
+       * gnat_ugn.texi: Fix typo.
+
 2014-07-30  Thomas Quinot  <quinot@adacore.com>
 
        * lib-writ.ads: document format change.

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 70153fe493384eef75922fdc225e4492ddb4e7e6..25f5de3fbb9fc9390aadb7ac3e897e8008aaf54c 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -6164,8 +6164,11 @@ package body Exp_Ch4 is
       --  messing especially in the packed case, but more importantly bypasses
       --  some problems in handling this peculiar case, for example, the issue
       --  of dealing specially with object renamings.
+      --  This optimization is disabled for CodePeer because it can transform
+      --  an index-check constraint_error into a range-check constraint_error
+      --  and CodePeer cares about that distinction.
 
-      if Nkind (P) = N_Slice then
+      if Nkind (P) = N_Slice and then not CodePeer_Mode then
          Rewrite (N,
            Make_Indexed_Component (Loc,
              Prefix      => Prefix (P),

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index dbdfb5059a9f904e7d0b128ea48f378fd556d8ce..59840972e18067e54a6176d8d44581dbfd8483fa 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -19784,6 +19784,7 @@ is installed at its default location.
 * Tagged Types Substitutability Testing::
 * Testing with Contracts::
 * Additional Tests::
+* Putting Tests under Version Control::
 @ifclear vms
 * Support for other platforms/run-times::
 @end ifclear
@@ -20344,8 +20345,8 @@ gnatmake -Pmixing/test_driver.gpr
 mixing/test_runner
 @end smallexample
 
-@node Putting tests under veesion control
-@section Putting tests under veesion control
+@node Putting Tests under Version Control
+@section Putting Tests under Version Control
 
 @noindent
 As has been stated earlier, @command{gnattest} generates two different types