diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:29:13 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:29:13 +0100 |
commit | ca7e6c2640e197797b544a7238d1e362f85c2921 (patch) | |
tree | fd072a2f475cd63b318fce31b41facdc1f06f19f /gcc/ada/spark_xrefs.ads | |
parent | f99ff327e1901a374b4fb79b13be067b49c2c2ed (diff) | |
download | gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.zip gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.tar.gz gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.tar.bz2 |
[multiple changes]
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* inline.adb: Minor reformatting.
2015-10-26 Yannick Moy <moy@adacore.com>
* get_spark_xrefs.adb (get_SPARK_Xrefs): Remove obsolete
assertion.
* lib-xref-spark_specific.adb (Traverse_Declaration_Or_Statement):
New procedure to factor duplicated code and add
treatment of protected entries.
(Add_SPARK_Scope, Traverse_Declarations_Or_Statements): Call the new
procedure Traverse_Declaration_Or_Statement. Use same character used in
normal xrefs for SPARK xrefs, for a given entity used as scope.
* spark_xrefs.ads Document character used for entries.
* sem_prag.adb (Check_Loop_Pragma_Placement): Account for possible
introduction of declarations and statements by the expansion, between
two otherwise consecutive loop pragmas.
* sem_util.ads, sem_util.adb (Is_Suspension_Object): Lifted from nested
function.
(Is_Descendant_Of_Suspension_Object): nested function lifted.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Eval_Attribute): Attribute 'Enum_Rep can be folded
when its prefix denotes a constant, an enumeration literal or
an enumeration type. Use the expression of the attribute in the
enumeration type form, otherwise use the prefix to fold.
From-SVN: r229334
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 41719ea..ff5fb26 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2015, 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- -- @@ -111,9 +111,10 @@ package SPARK_Xrefs is -- type is a single letter identifying the type of the entity, using -- the same code as in cross-references: - -- K = package - -- V = function - -- U = procedure + -- K = package (k = generic package) + -- V = function (v = generic function) + -- U = procedure (u = generic procedure) + -- Y = entry -- col is the column number of the scope entity |