[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

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.

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),

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