From: Arnaud Charlet Date: Wed, 30 Jul 2014 15:11:17 +0000 (+0200) Subject: [multiple changes] X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad9560ea432c33bdcfdeb5ed16cdb411ced11fbc;p=gcc.git [multiple changes] 2014-07-30 Steve Baird * exp_ch4.adb (Expand_N_Indexed_Component): Disable optimized handling of A(I..J)(K) in CodePeer_Mode. 2014-07-30 Ben Brosgol * gnat_ugn.texi: Fix typo. From-SVN: r213297 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e884ff2a8be..e6c0b06b655 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,12 @@ +2014-07-30 Steve Baird + + * exp_ch4.adb (Expand_N_Indexed_Component): Disable optimized handling + of A(I..J)(K) in CodePeer_Mode. + +2014-07-30 Ben Brosgol + + * gnat_ugn.texi: Fix typo. + 2014-07-30 Thomas Quinot * lib-writ.ads: document format change. diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 70153fe4933..25f5de3fbb9 100644 --- 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 dbdfb5059a9..59840972e18 100644 --- 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