aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-conhel.ads
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-10-23 14:37:35 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2015-10-23 14:37:35 +0200
commit6031f544ddf64571b5d83c59a9bac6a5fc3d0182 (patch)
tree7d9c8ad8c8c46bff64f35a97a9bdc70d1ff72429 /gcc/ada/a-conhel.ads
parentd742bfc0094db87c2c8c4f061d649ff4816b56bc (diff)
downloadgcc-6031f544ddf64571b5d83c59a9bac6a5fc3d0182.zip
gcc-6031f544ddf64571b5d83c59a9bac6a5fc3d0182.tar.gz
gcc-6031f544ddf64571b5d83c59a9bac6a5fc3d0182.tar.bz2
[multiple changes]
2015-10-23 Steve Baird <baird@adacore.com> * a-cbdlli.ads, a-cbhama.ads, a-cbhase.ads, a-cbmutr.ads, a-cborma.ads, a-cborse.ads, a-cbprqu.ads, a-cbsyqu.ads, a-cdlili.ads, a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cfinve.ads, a-cforma.ads, a-cforse.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads, a-cimutr.ads, a-ciorma.ads, a-ciormu.ads, a-ciorse.ads, a-coboho.ads, a-cobove.ads, a-cofove.ads, a-cohama.ads, a-cohase.ads, a-coinho.ads, a-coinho-shared.ads, a-coinve.ads, a-comutr.ads, a-conhel.ads, a-convec.ads, a-coorma.ads, a-coormu.ads, a-coorse.ads, a-cuprqu.ads, a-cusyqu.ads, a-rbtgbo.ads: Add spec Annotate pragmas. * a-cbdlli.adb, a-cbhama.adb, a-cbhase.adb, a-cbmutr.adb, a-cborma.adb, a-cborse.adb, a-cbprqu.adb, a-cbsyqu.adb, a-cdlili.adb, a-cfdlli.adb, a-cfhama.adb, a-cfhase.adb, a-cfinve.adb, a-cforma.adb, a-cforse.adb, a-cidlli.adb, a-cihama.adb, a-cihase.adb, a-cimutr.adb, a-ciorma.adb, a-ciormu.adb, a-ciorse.adb, a-coboho.adb, a-cobove.adb, a-cofove.adb, a-cohama.adb, a-cohase.adb, a-coinho.adb, a-coinho-shared.adb, a-coinve.adb, a-comutr.adb, a-conhel.adb, a-convec.adb, a-coorma.adb, a-coormu.adb, a-coorse.adb, a-cuprqu.adb, a-cusyqu.adb, a-rbtgbo.adb: Remove body Annotate pragmas. 2015-10-23 Vincent Celier <celier@adacore.com> * gnatname.adb: When gnatname is invoked with a project file, specified with switch -P, if gprname is available, gnatname will invoke gprname, with the target if it is a cross gnatname. 2015-10-23 Arnaud Charlet <charlet@adacore.com> * exp_ch4.adb: Fix typo. * exp_ch6.adb: Update comment. * exp_attr.adb (Expand_Min_Max_Attribute): Simplify expansion. * exp_aggr.adb (Convert_To_Positional): Only convert to positional when generating C in case of an object declaration. (In_Object_Declaration): New. (Late_Expansion): Adapt to trees generated by Modify_Tree_For_C. * sinfo.ads: Update documentation. 2015-10-23 Joel Brobecker <brobecker@adacore.com brobecker> * sigtramp.h (struct sigcontext, struct ucontext): Remove declarations, and replace them by include of corresponding header file. From-SVN: r229243
Diffstat (limited to 'gcc/ada/a-conhel.ads')
-rw-r--r--gcc/ada/a-conhel.ads1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-conhel.ads b/gcc/ada/a-conhel.ads
index e48c03b..74e5151 100644
--- a/gcc/ada/a-conhel.ads
+++ b/gcc/ada/a-conhel.ads
@@ -29,6 +29,7 @@ with Ada.Finalization;
with System.Atomic_Counters;
package Ada.Containers.Helpers is
+ pragma Annotate (CodePeer, Skip_Analysis);
pragma Pure;
-- Miscellaneous helpers shared among various containers