diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 5 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 5 |
3 files changed, 16 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e884ff2..e6c0b06 100644 --- 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 70153fe..25f5de3 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 dbdfb50..5984097 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 |