diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 14:37:35 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 14:37:35 +0200 |
commit | 6031f544ddf64571b5d83c59a9bac6a5fc3d0182 (patch) | |
tree | 7d9c8ad8c8c46bff64f35a97a9bdc70d1ff72429 /gcc/ada/a-conhel.ads | |
parent | d742bfc0094db87c2c8c4f061d649ff4816b56bc (diff) | |
download | gcc-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.ads | 1 |
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 |