* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177324
138bc75d-0d04-0410-961f-
82ee72b054a4
+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
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);
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
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;
---------------------------