obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 153 insertions, 0 deletions

diff --git a/gcc/ada/inline.ads b/gcc/ada/inline.ads
new file mode 100644
index 000000000..04cb32344
--- /dev/null
+++ b/gcc/ada/inline.ads
@@ -0,0 +1,153 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--                               I N L I N E                                --
+--                                                                          --
+--                                 S p e c                                  --
+--                                                                          --
+--          Copyright (C) 1992-2010, 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- --
+-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
+-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
+-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
+-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
+-- for  more details.  You should have  received  a copy of the GNU General --
+-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
+-- http://www.gnu.org/licenses for a complete copy of the license.          --
+--                                                                          --
+-- GNAT was originally developed  by the GNAT team at  New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+--  This module handles two kinds of inlining activity:
+
+--  a) Instantiation of generic bodies. This is done unconditionally, after
+--  analysis and expansion of the main unit.
+
+--  b) Compilation of unit bodies that contain the bodies of inlined sub-
+--  programs. This is done only if inlining is enabled (-gnatn). Full inlining
+--  requires that a) an b) be mutually recursive, because each step may
+--  generate another generic expansion and further inlined calls. For now each
+--  of them uses a workpile algorithm, but they are called independently from
+--  Frontend, and thus are not mutually recursive.
+
+with Alloc;
+with Opt;   use Opt;
+with Sem;   use Sem;
+with Table;
+with Types; use Types;
+
+package Inline is
+
+   --------------------------------
+   -- Generic Body Instantiation --
+   --------------------------------
+
+   --  The bodies of generic instantiations are built after semantic analysis
+   --  of the main unit is complete. Generic instantiations are saved in a
+   --  global data structure, and the bodies constructed by means of a separate
+   --  analysis and expansion step.
+
+   --  See full description in body of Sem_Ch12 for more details
+
+   type Pending_Body_Info is record
+      Inst_Node : Node_Id;
+      --  Node for instantiation that requires the body
+
+      Act_Decl : Node_Id;
+      --  Declaration for package or subprogram spec for instantiation
+
+      Expander_Status : Boolean;
+      --  If the body is instantiated only for semantic checking, expansion
+      --  must be inhibited.
+
+      Current_Sem_Unit : Unit_Number_Type;
+      --  The semantic unit within which the instantiation is found. Must
+      --  be restored when compiling the body, to insure that internal enti-
+      --  ties use the same counter and are unique over spec and body.
+
+      Scope_Suppress           : Suppress_Array;
+      Local_Suppress_Stack_Top : Suppress_Stack_Entry_Ptr;
+      --  Save suppress information at the point of instantiation. Used to
+      --  properly inherit check status active at this point (see RM 11.5
+      --  (7.2/2), AI95-00224-01):
+      --
+      --    "If a checking pragma applies to a generic instantiation, then the
+      --    checking pragma also applies to the instance. If a checking pragma
+      --    applies to a call to a subprogram that has a pragma Inline applied
+      --    to it, then the checking pragma also applies to the inlined
+      --    subprogram body".
+      --
+      --  This means we have to capture this information from the current scope
+      --  at the point of instantiation.
+
+      Version : Ada_Version_Type;
+      --  The body must be compiled with the same language version as the
+      --  spec. The version may be set by a configuration pragma in a separate
+      --  file or in the current file, and may differ from body to body.
+   end record;
+
+   package Pending_Instantiations is new Table.Table (
+     Table_Component_Type => Pending_Body_Info,
+     Table_Index_Type     => Int,
+     Table_Low_Bound      => 0,
+     Table_Initial        => Alloc.Pending_Instantiations_Initial,
+     Table_Increment      => Alloc.Pending_Instantiations_Increment,
+     Table_Name           => "Pending_Instantiations");
+
+   --  The following table records subprograms and packages for which
+   --  generation of subprogram descriptors must be delayed.
+
+   package Pending_Descriptor is new Table.Table (
+     Table_Component_Type => Entity_Id,
+     Table_Index_Type     => Int,
+     Table_Low_Bound      => 0,
+     Table_Initial        => Alloc.Pending_Instantiations_Initial,
+     Table_Increment      => Alloc.Pending_Instantiations_Increment,
+     Table_Name           => "Pending_Descriptor");
+
+   Analyzing_Inlined_Bodies : Boolean;
+   --  This flag is set False by the call to Initialize, and then is set
+   --  True by the call to Analyze_Inlined_Bodies. It is used to suppress
+   --  generation of subprogram descriptors for inlined bodies.
+
+   -----------------
+   -- Subprograms --
+   -----------------
+
+   procedure Initialize;
+   --  Initialize internal tables
+
+   procedure Lock;
+   --  Lock internal tables before calling backend
+
+   procedure Instantiate_Bodies;
+   --  This procedure is called after semantic analysis is complete, to
+   --  instantiate the bodies of generic instantiations that appear in the
+   --  compilation unit.
+
+   procedure Add_Inlined_Body (E : Entity_Id);
+   --  E is an inlined subprogram appearing in a call, either explicitly, or
+   --  a discriminant check for which gigi builds a call.  Add E's enclosing
+   --  unit to Inlined_Bodies so that body of E can be subsequently retrieved
+   --  and analyzed.
+
+   procedure Analyze_Inlined_Bodies;
+   --  At end of compilation, analyze the bodies of all units that contain
+   --  inlined subprograms that are actually called.
+
+   procedure Check_Body_For_Inlining (N : Node_Id; P : Entity_Id);
+   --  If front-end inlining is enabled and a package declaration contains
+   --  inlined subprograms, load and compile the package body to collect the
+   --  bodies of these subprograms, so they are available to inline calls.
+   --  N is the compilation unit for the package.
+
+   procedure Remove_Dead_Instance (N : Node_Id);
+   --  If an instantiation appears in unreachable code, delete the pending
+   --  body instance.
+
+end Inline;