diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:17:04 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:17:04 +0100 |
| commit | f2d9ae209afbf4486850f531ebe091953f1f72f9 (patch) | |
| tree | 23946da77ac012517c919c88e1f139b85752566e /gcc/ada/a-cbprqu.adb | |
| parent | ad1048a5287c73ce13fac4183dfc01811943e791 (diff) | |
| download | gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.zip gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.tar.gz gcc-f2d9ae209afbf4486850f531ebe091953f1f72f9.tar.bz2 | |
[multiple changes]
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb: Minor reformatting.
* exp_util.adb (Following_Address_Clause): Handle case of
package private part.
2014-11-20 Arnaud Charlet <charlet@adacore.com>
* a-cdlili.adb, a-cihama.adb, a-coinve.adb, a-cusyqu.adb, a-ciorse.adb,
a-coorma.adb, a-cborma.adb, a-cidlli.adb, a-cimutr.adb, a-ciormu.adb,
a-cbprqu.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb, a-coboho.adb,
a-cuprqu.adb, a-cbhama.adb, a-rbtgbo.adb, a-cborse.adb, a-comutr.adb,
a-ciorma.adb, a-cobove.adb, a-coormu.adb, a-convec.adb, a-cohase.adb,
a-coinho.adb, a-coinho-shared.adb, a-cbdlli.adb, a-cbsyqu.adb,
a-cbmutr.adb, a-cbhase.adb: Add pragma Annotate to prevent codepeer
from analyzing these bodies.
From-SVN: r217854
Diffstat (limited to 'gcc/ada/a-cbprqu.adb')
| -rw-r--r-- | gcc/ada/a-cbprqu.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/a-cbprqu.adb b/gcc/ada/a-cbprqu.adb index ce2fd69..61b9e72 100644 --- a/gcc/ada/a-cbprqu.adb +++ b/gcc/ada/a-cbprqu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -29,6 +29,8 @@ package body Ada.Containers.Bounded_Priority_Queues is + pragma Annotate (CodePeer, Skip_Analysis); + package body Implementation is ------------- |