diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:37:41 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:37:41 +0100 |
| commit | 3fbbbd1e874d3dd74ba551b8ff7f1ed04321a3ed (patch) | |
| tree | e1940f1eb67889bd6cf3127794232c03cc222533 /gcc/ada/a-cfinve.adb | |
| parent | f92d99c60b5001d88f09742eec97b4ddbeefb978 (diff) | |
| download | gcc-3fbbbd1e874d3dd74ba551b8ff7f1ed04321a3ed.zip gcc-3fbbbd1e874d3dd74ba551b8ff7f1ed04321a3ed.tar.gz gcc-3fbbbd1e874d3dd74ba551b8ff7f1ed04321a3ed.tar.bz2 | |
[multiple changes]
2014-11-20 Thomas Quinot <quinot@adacore.com>
* g-socket.adb (To_Host_Entry): Guard against case of a
non-AF_INET entry.
2014-11-20 Vadim Godunko <godunko@adacore.com>
* a-strunb-shared.adb (To_Unbounded_String): Use shared empty
object to construct return value when source string is empty or
requested length is zero.
* a-stwiun-shared.adb (To_Unbounded_Wide_String): Likewise.
* a-stzunb-shared.adb (To_Unbounded_Wide_Wide_String): Likewise.
2014-11-20 Yannick Moy <moy@adacore.com>
* a-cfhase.adb, a-cfinve.adb, a-cforma.adb, a-cfhama.adb, a-cforse.adb,
a-cofove.adb: Skip CodePeer analysis on body of all formal containers.
2014-11-20 Arnaud Charlet <charlet@adacore.com>
* adaint.c: Fix typo.
* exp_util.adb (Make_Subtype_From_Expr): Complete previous change,
generate constant values.
* sem_eval.adb (Decompose_Expr): Fix latent bug leading to a wrong
evaluation to '0' of some unknown values.
2014-11-20 Robert Dewar <dewar@adacore.com>
* repinfo.adb (List_Record_Info): Do not list discriminant in
unchecked union.
* sem_ch13.adb (Has_Good_Profile): Minor reformatting
(Analyze_Stream_TSS_Definition): Minor reformatting
(Analyze_Record_Representation_Clause): Do not issue warning
for missing rep clause for discriminant in unchecked union.
From-SVN: r217861
Diffstat (limited to 'gcc/ada/a-cfinve.adb')
| -rw-r--r-- | gcc/ada/a-cfinve.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-cfinve.adb b/gcc/ada/a-cfinve.adb index e3f917a..6574fcb 100644 --- a/gcc/ada/a-cfinve.adb +++ b/gcc/ada/a-cfinve.adb @@ -29,6 +29,7 @@ package body Ada.Containers.Formal_Indefinite_Vectors with SPARK_Mode => Off is + pragma Annotate (CodePeer, Skip_Analysis); function H (New_Item : Element_Type) return Holder renames To_Holder; function E (Container : Holder) return Element_Type renames Get; |