diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-23 12:37:35 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-23 12:37:35 +0000 |
| commit | 2f7de3db5fe897ffe269afa694ed7aeea17813e2 (patch) | |
| tree | 7d9c8ad8c8c46bff64f35a97a9bdc70d1ff72429 /gcc/ada/a-cbmutr.ads | |
| parent | 17a1cf0b533fb101214b4860548254c680392751 (diff) | |
| download | gcc-2f7de3db5fe897ffe269afa694ed7aeea17813e2.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229243 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cbmutr.ads')
| -rw-r--r-- | gcc/ada/a-cbmutr.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-cbmutr.ads b/gcc/ada/a-cbmutr.ads index fd8c20662a0..66001976031 100644 --- a/gcc/ada/a-cbmutr.ads +++ b/gcc/ada/a-cbmutr.ads @@ -42,6 +42,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Bounded_Multiway_Trees is + pragma Annotate (CodePeer, Skip_Analysis); pragma Pure; pragma Remote_Types; |