* a-tags.ads (Parent_Size): Remove obsolete pragma Export.
* s-finmas.ads (Header_Offset): Delete.
* s-finmas.adb (Header_Offset): Likewise.
(Finalize): Call Header_Size instead of Header_Offset.
* s-stposu.adb (Allocate_Any_Controlled): Likewise.
(Deallocate_Any_Controlled): Likewise.
2015-10-16 Arnaud Charlet <charlet@adacore.com>
* a-exetim.ads, a-exetim-mingw.ads, a-exetim-default.ads: Whitespace
cleanup.
* s-osprim-mingw.adb, einfo.ads, sem_util.adb, sem_util.ads,
sem_ch4.adb, sem_ch13.adb, s-trasym.adb, s-trasym.ads,
s-taprop-posix.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228895
138bc75d-0d04-0410-961f-
82ee72b054a4
+2015-10-16 Eric Botcazou <ebotcazou@adacore.com>
+
+ * a-tags.ads (Parent_Size): Remove obsolete pragma Export.
+ * s-finmas.ads (Header_Offset): Delete.
+ * s-finmas.adb (Header_Offset): Likewise.
+ (Finalize): Call Header_Size instead of Header_Offset.
+ * s-stposu.adb (Allocate_Any_Controlled): Likewise.
+ (Deallocate_Any_Controlled): Likewise.
+
+2015-10-16 Arnaud Charlet <charlet@adacore.com>
+
+ * a-exetim.ads, a-exetim-mingw.ads, a-exetim-default.ads: Whitespace
+ cleanup.
+ * s-osprim-mingw.adb, einfo.ads, sem_util.adb, sem_util.ads,
+ sem_ch4.adb, sem_ch13.adb, s-trasym.adb, s-trasym.ads,
+ s-taprop-posix.adb: Minor reformatting.
+
2015-10-16 Bob Duff <duff@adacore.com>
* adadecode.h, adadecode.c (ada_demangle): Remove
-- --
-- S p e c --
-- --
--- Copyright (C) 2007-2011, Free Software Foundation, Inc. --
+-- Copyright (C) 2007-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
CPU_Tick : constant Ada.Real_Time.Time_Span;
function Clock
- (T : Ada.Task_Identification.Task_Id
- := Ada.Task_Identification.Current_Task)
+ (T : Ada.Task_Identification.Task_Id :=
+ Ada.Task_Identification.Current_Task)
return CPU_Time;
function "+"
-- --
-- S p e c --
-- --
--- Copyright (C) 2009-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 2009-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
+-- --
------------------------------------------------------------------------------
-- This is the Windows native version of this package
function Clock
(T : Ada.Task_Identification.Task_Id :=
- Ada.Task_Identification.Current_Task) return CPU_Time;
+ Ada.Task_Identification.Current_Task)
+ return CPU_Time;
function "+"
(Left : CPU_Time;
TS : out Ada.Real_Time.Time_Span);
function Time_Of
- (SC : Ada.Real_Time.Seconds_Count;
- TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
- return CPU_Time;
+ (SC : Ada.Real_Time.Seconds_Count;
+ TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
+ return CPU_Time;
Interrupt_Clocks_Supported : constant Boolean := False;
Separate_Interrupt_Clocks_Supported : constant Boolean := False;
function Clock
(T : Ada.Task_Identification.Task_Id :=
- Ada.Task_Identification.Current_Task)
+ Ada.Task_Identification.Current_Task)
return CPU_Time;
function "+"
TS : out Ada.Real_Time.Time_Span);
function Time_Of
- (SC : Ada.Real_Time.Seconds_Count;
- TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
- return CPU_Time;
+ (SC : Ada.Real_Time.Seconds_Count;
+ TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
+ return CPU_Time;
Interrupt_Clocks_Supported : constant Boolean := False;
Separate_Interrupt_Clocks_Supported : constant Boolean := False;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
-- ancestor is the parent of the type represented by tag T. This function
-- assumes that _size is always in slot one of the dispatch table.
- pragma Export (Ada, Parent_Size, "ada__tags__parent_size");
- -- This procedure is used in s-finimp and is thus exported manually
-
procedure Register_Interface_Offset
(This : System.Address;
Interface_T : Tag;
-- to intrinsic, which causes intrinsic code to be generated.
-- Is_Invariant_Procedure (Flag257)
--- Defined in functions an procedures. Set for a generated invariant
--- procedure to identify it easily in the.
+-- Defined in functions and procedures. Set for a generated invariant
+-- procedure to identify it easily.
-- Is_Itype (Flag91)
-- Defined in all entities. Set to indicate that a type is an Itype,
-- vtable (i.e. the one to be extended by derivation).
-- Is_Tagged_Type (Flag55)
--- Defined in all entities. Set for an entity that is a tagged type.
+-- Defined in all entities, set for an entity that is a tagged type
-- Is_Task_Interface (synthesized)
-- Defined in types that are interfaces. True if interface is declared as
-- type (whether or not it is a general access type).
E_Access_Attribute_Type,
- -- An access type created for an access attribute (such as 'Access,
- -- 'Unrestricted_Access and Unchecked_Access).
+ -- An access type created for an access attribute (one of 'Access,
+ -- 'Unrestricted_Access, or Unchecked_Access).
E_Allocator_Type,
-- A special internal type used to label allocators and references to
-- --
-- B o d y --
-- --
--- Copyright (C) 2011, Free Software Foundation, Inc. --
+-- Copyright (C) 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- --
-- Skip the list header in order to offer proper object layout for
-- finalization.
- Obj_Addr := Curr_Ptr.all'Address + Header_Offset;
+ Obj_Addr := Curr_Ptr.all'Address + Header_Size;
-- Retrieve TSS primitive Finalize_Address depending on the master's
-- mode of operation.
return FM_Node'Size / Storage_Unit;
end Header_Size;
- -------------------
- -- Header_Offset --
- -------------------
-
- function Header_Offset return System.Storage_Elements.Storage_Offset is
- begin
- return FM_Node'Size / Storage_Unit;
- end Header_Offset;
-
----------------
-- Initialize --
----------------
-- --
-- S p e c --
-- --
--- Copyright (C) 2011-2013, Free Software Foundation, Inc. --
+-- Copyright (C) 2011-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- --
function Finalization_Started (Master : Finalization_Master) return Boolean;
-- Return the finalization status of a master
- function Header_Offset return System.Storage_Elements.Storage_Offset;
- -- Return the size of type FM_Node as Storage_Offset
-
function Header_Size return System.Storage_Elements.Storage_Count;
-- Return the size of type FM_Node as Storage_Count
pragma Export (Ada, Monotonic_Clock, "__gnat_monotonic_clock");
-- Return "absolute" time, represented as an offset relative to "the Unix
-- Epoch", which is Jan 1, 1970 00:00:00 UTC. This clock implementation is
- -- immune to the system's clock changes.
- -- Export this function so that it can be imported from s-taprop-mingw.adb
- -- without changing the shared spec (s-osprim.ads).
+ -- immune to the system's clock changes. Export this function so that it
+ -- can be imported from s-taprop-mingw.adb without changing the shared
+ -- spec (s-osprim.ads).
procedure Get_Base_Time (Data : in out Clock_Data);
-- Retrieve the base time and base ticks. These values will be used by
-- +- Header_And_Padding --+
N_Ptr := Address_To_FM_Node_Ptr
- (N_Addr + Header_And_Padding - Header_Offset);
+ (N_Addr + Header_And_Padding - Header_Size);
-- Prepend the allocated object to the finalization master
-- Convert the bits preceding the object into a list header
- N_Ptr := Address_To_FM_Node_Ptr (Addr - Header_Offset);
+ N_Ptr := Address_To_FM_Node_Ptr (Addr - Header_Size);
-- Detach the object from the related finalization master. This
-- action does not need to know the prior context used during
-- Absolute deadline specified using the tasking clock (CLOCK_RT_Ada)
elsif Mode = Absolute_RT
- or else OSC.CLOCK_RT_Ada = OSC.CLOCK_REALTIME
+ or else OSC.CLOCK_RT_Ada = OSC.CLOCK_REALTIME
then
pragma Warnings (On);
Abs_Time := Duration'Min (Check_Time + Max_Sensible_Delay, Time);
declare
Cal_Check_Time : constant Duration := OS_Primitives.Clock;
RT_Time : constant Duration :=
- Time + Check_Time - Cal_Check_Time;
+ Time + Check_Time - Cal_Check_Time;
begin
Abs_Time :=
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we can get
--- elaboration circularities when polling is turned on
+-- elaboration circularities when polling is turned on.
with Ada.Exceptions.Traceback; use Ada.Exceptions.Traceback;
with System.Address_Image;
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we can get
--- elaboration circularities when polling is turned on
+-- elaboration circularities when polling is turned on.
with Ada.Exceptions;
-- them as such whenever possible, so redundant predicate checks
-- can be optimized.
+ -- Shouldn't Variable_Ref be True for Side_Effect_Free call ???
+
if Expander_Active then
Set_Is_Pure (SId, Side_Effect_Free (Expr));
Set_Is_Inlined (SId);
or else Is_Incomplete_Type (Obj_Type)
then
- -- Restore previous type if current one is not legal candidate.
+ -- Restore previous type if current one is not legal candidate
Obj_Type := Prev_Obj_Type;
return;
function Get_Reference_Discriminant (Typ : Entity_Id) return Entity_Id is
D : Entity_Id;
+
begin
D := First_Discriminant (Typ);
while Present (D) loop
-- any other form.
function Get_Reference_Discriminant (Typ : Entity_Id) return Entity_Id;
- -- If Typ has Implicit_Dereference, return discriminant specified in
- -- the corresponding aspect.
+ -- If Typ has Implicit_Dereference, return discriminant specified in the
+ -- corresponding aspect.
function Get_Referenced_Object (N : Node_Id) return Node_Id;
-- Given a node, return the renamed object if the node represents a renamed