Commit 2afa8fdd by Arnaud Charlet

[multiple changes]

2014-07-30  Bob Duff  <duff@adacore.com>

	* s-tataat.adb, s-tataat.ads, a-tasatt.adb: Minor comment fixes.

2014-07-30  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Loop_Statement): If loop has a label,
	verify that it is not hidden by an inner implicit declaration.

From-SVN: r213266
parent 8071b771
2014-07-30 Bob Duff <duff@adacore.com>
* s-tataat.adb, s-tataat.ads, a-tasatt.adb: Minor comment fixes.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Loop_Statement): If loop has a label,
verify that it is not hidden by an inner implicit declaration.
2014-07-30 Thomas Quinot <quinot@adacore.com> 2014-07-30 Thomas Quinot <quinot@adacore.com>
* sem.ads (Scope_Table_Entry): New component Locked_Shared_Objects. * sem.ads (Scope_Table_Entry): New component Locked_Shared_Objects.
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 1995-2014, Free Software Foundation, Inc. -- -- Copyright (C) 2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -51,7 +51,7 @@ package body Ada.Task_Attributes is ...@@ -51,7 +51,7 @@ package body Ada.Task_Attributes is
type Attribute_Cleanup is new Limited_Controlled with null record; type Attribute_Cleanup is new Limited_Controlled with null record;
procedure Finalize (Cleanup : in out Attribute_Cleanup); procedure Finalize (Cleanup : in out Attribute_Cleanup);
-- Finalize all tasks' attribute for this package -- Finalize all tasks' attributes for this package
Cleanup : Attribute_Cleanup; Cleanup : Attribute_Cleanup;
pragma Unreferenced (Cleanup); pragma Unreferenced (Cleanup);
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 1995-2014, Free Software Foundation, Inc. -- -- Copyright (C) 2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -43,7 +43,7 @@ package body System.Tasking.Task_Attributes is ...@@ -43,7 +43,7 @@ package body System.Tasking.Task_Attributes is
end record; end record;
-- Used is True if a given index is used by an instantiation of -- Used is True if a given index is used by an instantiation of
-- Ada.Task_Attributes, False otherwise. -- Ada.Task_Attributes, False otherwise.
-- Require_Finalization is True is the attribute requires finalization. -- Require_Finalization is True if the attribute requires finalization.
Index_Array : array (1 .. Max_Attribute_Count) of Index_Info := Index_Array : array (1 .. Max_Attribute_Count) of Index_Info :=
(others => (False, False)); (others => (False, False));
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1995-2014, Free Software Foundation, Inc. -- -- Copyright (C) 2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -40,7 +40,7 @@ package System.Tasking.Task_Attributes is ...@@ -40,7 +40,7 @@ package System.Tasking.Task_Attributes is
type Attribute_Record is record type Attribute_Record is record
Free : Deallocator; Free : Deallocator;
end record; end record;
-- The real type is declared in Ada.Task_Attributes body: Real_Attribute -- The real type is declared in Ada.Task_Attributes body: Real_Attribute.
-- As long as the first field is the deallocator we are good. -- As long as the first field is the deallocator we are good.
type Attribute_Access is access all Attribute_Record; type Attribute_Access is access all Attribute_Record;
......
...@@ -2834,6 +2834,13 @@ package body Sem_Ch5 is ...@@ -2834,6 +2834,13 @@ package body Sem_Ch5 is
raise Program_Error; raise Program_Error;
end if; end if;
-- Verify that the loop name is hot hidden by an unrelated
-- declaration in an inner scope.
elsif Ekind (Ent) /= E_Label and then Ekind (Ent) /= E_Loop then
Error_Msg_Sloc := Sloc (Ent);
Error_Msg_N ("implicit label declaration for & is hidden#", Id);
else else
Generate_Reference (Ent, N, ' '); Generate_Reference (Ent, N, ' ');
Generate_Definition (Ent); Generate_Definition (Ent);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment