aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-02-05 12:10:42 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2015-02-05 12:10:42 +0100
commit57979da1a8af9ae176809eee99390d6401ec389e (patch)
treee6de1795907be9dfc82d63b1c74852406d971866 /gcc/ada/lib-xref.adb
parent27d16306413f2e6f5eb3471db9593666c35694e3 (diff)
downloadgcc-57979da1a8af9ae176809eee99390d6401ec389e.zip
gcc-57979da1a8af9ae176809eee99390d6401ec389e.tar.gz
gcc-57979da1a8af9ae176809eee99390d6401ec389e.tar.bz2
[multiple changes]
2015-02-05 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Check_Pragma_Conformance): Add local variable Arg. Ensure that all errors are associated with the pragma if it appears without an argument. Add comments on various cases. 2015-02-05 Robert Dewar <dewar@adacore.com> * lib-xref.adb: Minor reformatting. From-SVN: r220442
Diffstat (limited to 'gcc/ada/lib-xref.adb')
-rw-r--r--gcc/ada/lib-xref.adb14
1 files changed, 8 insertions, 6 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb
index 11c2d06..2ebdb14 100644
--- a/gcc/ada/lib-xref.adb
+++ b/gcc/ada/lib-xref.adb
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-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- --
@@ -415,6 +415,7 @@ package body Lib.Xref is
function Get_Through_Renamings (E : Entity_Id) return Entity_Id is
Result : Entity_Id := E;
+
begin
while Present (Result)
and then Is_Object (Result)
@@ -422,6 +423,7 @@ package body Lib.Xref is
loop
Result := Get_Enclosing_Object (Renamed_Object (Result));
end loop;
+
return Result;
end Get_Through_Renamings;
@@ -646,11 +648,11 @@ package body Lib.Xref is
-- initialized type.
if not In_Extended_Main_Source_Unit (N) then
- if Typ = 'e'
- or else Typ = 'I'
- or else Typ = 'p'
- or else Typ = 'i'
- or else Typ = 'k'
+ if Typ = 'e' or else
+ Typ = 'I' or else
+ Typ = 'p' or else
+ Typ = 'i' or else
+ Typ = 'k'
or else (Typ = 'b' and then Is_Generic_Instance (E))
-- Allow the generation of references to reads, writes and calls