OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of reference for ALFA mode. 

2011-08-04  Yannick Moy  <moy@adacore.com>

	* sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of
	reference for ALFA mode.
	* lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make
	procedure public so as to use it from formal verification back-end.

From-SVN: r177324
This commit is contained in:
Yannick Moy 2011-08-04 08:02:00 +00:00 committed by Arnaud Charlet
parent 8e293fbdc6
commit e9a1ed9bed
4 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/ChangeLog
View File

@ -1,3 +1,10 @@
2011-08-04 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of
reference for ALFA mode.
* lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make
procedure public so as to use it from formal verification back-end.
2011-08-04 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (For_Each_Simple_Switch.Is_In_Config): Remove the

3
gcc/ada/lib-xref-alfa.adb
View File

@ -164,9 +164,6 @@ package body ALFA is
function Entity_Hash (E : Entity_Id) return Entity_Hashed_Range;
-- Hash function for hash table
procedure Traverse_Compilation_Unit
(CU : Node_Id;
Process : Node_Processing);
procedure Traverse_Declarations_Or_Statements
(L : List_Id;
Process : Node_Processing);

4
gcc/ada/lib-xref.ads
View File

@ -593,6 +593,10 @@ package Lib.Xref is
type Node_Processing is access procedure (N : Node_Id);
procedure Traverse_Compilation_Unit
(CU : Node_Id;
Process : Node_Processing);
procedure Traverse_All_Compilation_Units (Process : Node_Processing);
-- Call Process on all declarations through all compilation units

7
gcc/ada/sem_ch3.adb
View File

@ -3740,13 +3740,6 @@ package body Sem_Ch3 is
if Has_Aspects (N) then
Analyze_Aspect_Specifications (N, Id);
end if;
-- Generate 'I' xref for object initialization at definition, only used
-- for the local xref section used in ALFA mode.
if ALFA_Mode and then Present (Expression (Original_Node (N))) then
Generate_Reference (Id, Id, 'I');
end if;
end Analyze_Object_Declaration;
---------------------------