2011-10-13 Ed Schonberg <schonberg@adacore.com>

	* sem_ch12.adb (Analyze_Formal_{Floating_Type,
	Signed_Integer_Type,  Decimal_Fixed_Point_Type, Discrete_Type}):
	Use sloc of defining identifier of farmal type declaration,
	as sloc of generated internal entity, to prevent misplaced
	references in ali.

2011-10-13  Ed Schonberg  <schonberg@adacore.com>

	* sem_intr.adb (Check_Intrinsic_Operator): Check that type
	is fully defined before checking that it is a numeric type.

2011-10-13  Ed Schonberg  <schonberg@adacore.com>

	* sem_aggr.adb (Resolve_Record_Aggregate): If a component
	association for component X has a box, then X is covered in the
	aggregate even if there is not default value for X in the type
	declaration, and X has to be default-initialized.

2011-10-13  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Check_Enum_Image, Analyze_Attribute case
	'Value): Mark literals as referenced only if reference is in
	current source unit.

2011-10-13  Matthew Heaney  <heaney@adacore.com>

	* a-csquin.ads (Enque, Dequeue): Mark interface operations as entries.

2011-10-13  Olivier Hainque  <hainque@adacore.com>

	* sigtramp.h: New file.  Prototype and spec of the signal
	trampoline to be called by an established handler to provide
	dwarf call frame info before the real signal processing code.
	* sigtramp-ppcvxw.c: New file.	Implementation of the signal
	trampoline for ppc-vxworks.
	* init.c (vxworks section): Use it for ppc.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179899 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 14 insertions, 2 deletions

diff --git a/gcc/ada/a-csquin.ads b/gcc/ada/a-csquin.ads
index 2a4d0b36eec..7567444177e 100644
--- a/gcc/ada/a-csquin.ads
+++ b/gcc/ada/a-csquin.ads
@@ -42,12 +42,24 @@ package Ada.Containers.Synchronized_Queue_Interfaces is
    procedure Enqueue
      (Container : in out Queue;
       New_Item  : Element_Type) is abstract;
-   --  with Is_Synchronized => By_Entry;  ???
+
+   --  ???
+   --  This is the official Ada 2012 syntax:
+   --  with Synchronization => By_Entry;
+
+   --  This is the temporary work-around:
+   pragma Implemented (Enqueue, By_Entry);
 
    procedure Dequeue
      (Container : in out Queue;
       Element   : out Element_Type) is abstract;
-   --  with Is_Synchronized => By_Entry;  ???
+
+   --  ???
+   --  This is the official Ada 2012 syntax:
+   --  with Synchronization => By_Entry;
+
+   --  This is the temporary work-around:
+   pragma Implemented (Dequeue, By_Entry);
 
    function Current_Use (Container : Queue) return Count_Type is abstract;