diff options
| author | Yannick Moy <moy@adacore.com> | 2016-05-02 09:50:45 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:50:45 +0200 |
| commit | ef25192beef53daf8cecb32384b1d69d1cfddac9 (patch) | |
| tree | 0c4f8091760e29293c1b82c6c11da42360a8fea7 /gcc/ada/lib-xref.adb | |
| parent | ebae28e91ba5a5df5b59e2b114deeb080ec82b27 (diff) | |
| download | gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.zip gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.tar.gz gcc-ef25192beef53daf8cecb32384b1d69d1cfddac9.tar.bz2 | |
a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* lib-xref.adb: Minor style fix in whitespace of declarations.
* put_spark_xrefs.adb (Put_SPARK_Xrefs): printing of strings
refactored without loops.
* put_spark_xrefs.ads (Write_Info_Str): new formal argument of
generic procedure.
* spark_xrefs.adb (Write_Info_Str): new actual in instantiation
of generic procedure.
From-SVN: r235728
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 3b489e5..ef4acb5 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -191,8 +191,7 @@ package body Lib.Xref is Set_Has_Xref_Entry (Key.Ent); - -- It was already in Xref_Set, so throw away the tentatively-added - -- entry. + -- It was already in Xref_Set, so throw away the tentatively-added entry else Xrefs.Decrement_Last; @@ -373,16 +372,16 @@ package body Lib.Xref is Set_Ref : Boolean := True; Force : Boolean := False) is - Actual_Typ : Character := Typ; - Call : Node_Id; - Def : Source_Ptr; - Ent : Entity_Id; - Ent_Scope : Entity_Id; - Formal : Entity_Id; - Kind : Entity_Kind; - Nod : Node_Id; - Ref : Source_Ptr; - Ref_Scope : Entity_Id; + Actual_Typ : Character := Typ; + Call : Node_Id; + Def : Source_Ptr; + Ent : Entity_Id; + Ent_Scope : Entity_Id; + Formal : Entity_Id; + Kind : Entity_Kind; + Nod : Node_Id; + Ref : Source_Ptr; + Ref_Scope : Entity_Id; function Get_Through_Renamings (E : Entity_Id) return Entity_Id; -- Get the enclosing entity through renamings, which may come from |