[multiple changes]

2017-09-06  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch3.adb, sem_aux.adb, sem_res.adb: Minor reformatting.

2017-09-06  Yannick Moy  <moy@adacore.com>

	* sem_ch12.adb (Analyze_Instance_And_Renamings): Refactor to set
	global variable Ignore_SPARK_Mode_Pragmas_In_Instance only once.

2017-09-06  Bob Duff  <duff@adacore.com>

	* sem_ch8.adb: Change Assert to be consistent with
	other similar ones.

2017-09-06  Bob Duff  <duff@adacore.com>

	* binde.adb (Find_Elab_Order): Do not run Elab_Old unless
	requested. Previously, the -do switch meant "run Elab_New and
	Elab_Old and use the order chosen by Elab_Old, possibly with
	debugging printouts comparing the two orders."	Now it means
	"do not run Elab_New." This is of use if there are bugs that
	cause Elab_New to crash.
	(Elab_Position, Num_Chosen): Change type to Nat, to avoid various
	type conversions.
	* ali.ads (Elab_Position): Change type to Nat, to avoid various
	type conversions.

2017-09-06  Arnaud Charlet  <charlet@adacore.com>

	* sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): Fix
	reference to SPARK RM.

2017-09-06  Eric Botcazou  <ebotcazou@adacore.com>

	* layout.adb: Use SSU short hand consistently throughout the file.

2017-09-06  Eric Botcazou  <ebotcazou@adacore.com>

	* freeze.adb (Freeze_Record_Type)
	<Sized_Component_Total_Round_RM_Size>: New local variable to
	accumulate the rounded RM_Size of components.  Update it for
	every component whose RM_Size is statically known.  Add missing
	guard to check that bit packing is really required before issuing
	the error about packing.  Swap condition for clarity's sake.
	* sem_prag.adb (Usage_Error): fix reference to
	SPARK RM in comment

2017-09-06  Fedor Rybin  <frybin@adacore.com>

	* makeutl.adb, makeutl.ads, mlib.adb, mlib.ads, mlib-fil.adb,
	mlib-fil.ads, mlib-prj.adb, mlib-prj.ads, mlib-tgt.adb, mlib-tgt.ads,
	mlib-tgt-specific.adb, mlib-tgt-specific.ads,
	mlib-tgt-specific-aix.adb, mlib-tgt-specific-darwin.adb,
	mlib-tgt-specific-hpux.adb, mlib-tgt-specific-linux.adb,
	mlib-tgt-specific-mingw.adb, mlib-tgt-specific-solaris.adb,
	mlib-tgt-specific-vxworks.adb, mlib-tgt-specific-xi.adb, mlib-utl.adb,
	mlib-utl.ads, prj.adb, prj.ads, prj-attr.adb, prj-attr.ads,
	prj-attr-pm.adb, prj-attr-pm.ads, prj-com.ads, prj-conf.adb,
	prj-conf.ads, prj-dect.adb, prj-dect.ads, prj-env.adb, prj-env.ads,
	prj-err.adb, prj-err.ads, prj-ext.adb, prj-ext.ads, prj-makr.adb,
	prj-makr.ads, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads,
	prj-part.adb, prj-part.ads, prj-pp.adb, prj-pp.ads, prj-proc.adb,
	prj-proc.ads, prj-strt.adb, prj-strt.ads, prj-tree.adb, prj-tree.ads,
	prj-util.adb, prj-util.ads, sinput-p.adb, sinput-p.ads: Remove obsolete
	project manager sources.

2017-09-06  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Assigment): If the left-hand side is an
	entity of a mutable type and the right-hand side is a conditional
	expression, resolve the alternatives of the conditional using
	the base type of the target entity, because the alternatives
	may have distinct subtypes. This is particularly relevant if
	the alternatives are aggregates.

From-SVN: r251797

1 files changed, 0 insertions, 644 deletions

diff --git a/gcc/ada/mlib-utl.adb b/gcc/ada/mlib-utl.adb
deleted file mode 100644
index 91890a1..0000000
--- a/gcc/ada/mlib-utl.adb
+++ /dev/null
@@ -1,644 +0,0 @@
-------------------------------------------------------------------------------
---                                                                          --
---                         GNAT COMPILER COMPONENTS                         --
---                                                                          --
---                             M L I B . U T L                              --
---                                                                          --
---                                 B o d y                                  --
---                                                                          --
---                     Copyright (C) 2002-2014, AdaCore                     --
---                                                                          --
--- 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.      --
---                                                                          --
-------------------------------------------------------------------------------
-
-with MLib.Fil; use MLib.Fil;
-with MLib.Tgt; use MLib.Tgt;
-with Opt;
-with Osint;
-with Output;   use Output;
-
-with Interfaces.C.Strings; use Interfaces.C.Strings;
-
-package body MLib.Utl is
-
-   Adalib_Path : String_Access := null;
-   --  Path of the GNAT adalib directory, specified in procedure
-   --  Specify_Adalib_Dir. Used in function Lib_Directory.
-
-   Gcc_Name : String_Access;
-   --  Default value of the "gcc" executable used in procedure Gcc
-
-   Gcc_Exec : String_Access;
-   --  The full path name of the "gcc" executable
-
-   Ar_Name : String_Access;
-   --  The name of the archive builder for the platform, set when procedure Ar
-   --  is called for the first time.
-
-   Ar_Exec : String_Access;
-   --  The full path name of the archive builder
-
-   Ar_Options : String_List_Access;
-   --  The minimum options used when invoking the archive builder
-
-   Ar_Append_Options : String_List_Access;
-   --  The options to be used when invoking the archive builder to add chunks
-   --  of object files, when building the archive in chunks.
-
-   Opt_Length : Natural := 0;
-   --  The max number of options for the Archive_Builder
-
-   Initial_Size : Natural := 0;
-   --  The minimum number of bytes for the invocation of the Archive Builder
-   --  (without name of the archive or object files).
-
-   Ranlib_Name : String_Access;
-   --  The name of the archive indexer for the platform, if there is one
-
-   Ranlib_Exec : String_Access := null;
-   --  The full path name of the archive indexer
-
-   Ranlib_Options : String_List_Access := null;
-   --  The options to be used when invoking the archive indexer, if any
-
-   --------
-   -- Ar --
-   --------
-
-   procedure Ar (Output_File : String; Objects : Argument_List) is
-      Full_Output_File : constant String :=
-                             Ext_To (Output_File, Archive_Ext);
-
-      Arguments   : Argument_List_Access;
-      Last_Arg    : Natural := 0;
-      Success     : Boolean;
-      Line_Length : Natural := 0;
-
-      Maximum_Size : Integer;
-      pragma Import (C, Maximum_Size, "__gnat_link_max");
-      --  Maximum number of bytes to put in an invocation of the
-      --  Archive_Builder.
-
-      Size : Integer;
-      --  The number of bytes for the invocation of the archive builder
-
-      Current_Object : Natural;
-
-      procedure Display;
-      --  Display an invocation of the Archive Builder
-
-      -------------
-      -- Display --
-      -------------
-
-      procedure Display is
-      begin
-         if not Opt.Quiet_Output then
-            Write_Str (Ar_Name.all);
-            Line_Length := Ar_Name'Length;
-
-            for J in 1 .. Last_Arg loop
-
-               --  Make sure the Output buffer does not overflow
-
-               if Line_Length + 1 + Arguments (J)'Length > Buffer_Max then
-                  Write_Eol;
-                  Line_Length := 0;
-               end if;
-
-               Write_Char (' ');
-
-               --  Only output the first object files when not in verbose mode
-
-               if (not Opt.Verbose_Mode) and then J = Opt_Length + 3 then
-                  Write_Str ("...");
-                  exit;
-               end if;
-
-               Write_Str (Arguments (J).all);
-               Line_Length := Line_Length + 1 + Arguments (J)'Length;
-            end loop;
-
-            Write_Eol;
-         end if;
-
-      end Display;
-
-   begin
-      if Ar_Exec = null then
-         Ar_Name := Osint.Program_Name (Archive_Builder, "gnatmake");
-         Ar_Exec := Locate_Exec_On_Path (Ar_Name.all);
-
-         if Ar_Exec = null then
-            Free (Ar_Name);
-            Ar_Name := new String'(Archive_Builder);
-            Ar_Exec := Locate_Exec_On_Path (Ar_Name.all);
-         end if;
-
-         if Ar_Exec = null then
-            Fail (Ar_Name.all & " not found in path");
-
-         elsif Opt.Verbose_Mode then
-            Write_Str  ("found ");
-            Write_Line (Ar_Exec.all);
-         end if;
-
-         Ar_Options := Archive_Builder_Options;
-
-         Initial_Size := 0;
-         for J in Ar_Options'Range loop
-            Initial_Size := Initial_Size + Ar_Options (J)'Length + 1;
-         end loop;
-
-         Ar_Append_Options := Archive_Builder_Append_Options;
-
-         Opt_Length := Ar_Options'Length;
-
-         if Ar_Append_Options /= null then
-            Opt_Length := Natural'Max (Ar_Append_Options'Length, Opt_Length);
-
-            Size := 0;
-            for J in Ar_Append_Options'Range loop
-               Size := Size + Ar_Append_Options (J)'Length + 1;
-            end loop;
-
-            Initial_Size := Integer'Max (Initial_Size, Size);
-         end if;
-
-         --  ranlib
-
-         Ranlib_Name := Osint.Program_Name (Archive_Indexer, "gnatmake");
-
-         if Ranlib_Name'Length > 0 then
-            Ranlib_Exec := Locate_Exec_On_Path (Ranlib_Name.all);
-
-            if Ranlib_Exec = null then
-               Free (Ranlib_Name);
-               Ranlib_Name := new String'(Archive_Indexer);
-               Ranlib_Exec := Locate_Exec_On_Path (Ranlib_Name.all);
-            end if;
-
-            if Ranlib_Exec /= null and then Opt.Verbose_Mode then
-               Write_Str ("found ");
-               Write_Line (Ranlib_Exec.all);
-            end if;
-         end if;
-
-         Ranlib_Options := Archive_Indexer_Options;
-      end if;
-
-      Arguments :=
-        new String_List (1 .. 1 + Opt_Length + Objects'Length);
-      Arguments (1 .. Ar_Options'Length) := Ar_Options.all; --  "ar cr ..."
-      Arguments (Ar_Options'Length + 1) := new String'(Full_Output_File);
-
-      Delete_File (Full_Output_File);
-
-      Size := Initial_Size + Full_Output_File'Length + 1;
-
-      --  Check the full size of a call of the archive builder with all the
-      --  object files.
-
-      for J in Objects'Range loop
-         Size := Size + Objects (J)'Length + 1;
-      end loop;
-
-      --  If the size is not too large or if it is not possible to build the
-      --  archive in chunks, build the archive in a single invocation.
-
-      if Size <= Maximum_Size or else Ar_Append_Options = null then
-         Last_Arg := Ar_Options'Length + 1 + Objects'Length;
-         Arguments (Ar_Options'Length + 2 .. Last_Arg) := Objects;
-
-         Display;
-
-         Spawn (Ar_Exec.all, Arguments (1 .. Last_Arg), Success);
-
-      else
-         --  Build the archive in several invocation, making sure to not
-         --  go over the maximum size for each invocation.
-
-         Last_Arg := Ar_Options'Length + 1;
-         Current_Object := Objects'First;
-         Size := Initial_Size + Full_Output_File'Length + 1;
-
-         --  First invocation
-
-         while Current_Object <= Objects'Last loop
-            Size := Size + Objects (Current_Object)'Length + 1;
-            exit when Size > Maximum_Size;
-            Last_Arg := Last_Arg + 1;
-            Arguments (Last_Arg) := Objects (Current_Object);
-            Current_Object := Current_Object + 1;
-         end loop;
-
-         Display;
-
-         Spawn (Ar_Exec.all, Arguments (1 .. Last_Arg), Success);
-
-         Arguments (1 .. Ar_Append_Options'Length) := Ar_Append_Options.all;
-         Arguments
-           (Ar_Append_Options'Length + 1) := new String'(Full_Output_File);
-
-         --  Appending invocation(s)
-
-         Big_Loop : while Success and then Current_Object <= Objects'Last loop
-            Last_Arg := Ar_Append_Options'Length + 1;
-            Size := Initial_Size + Full_Output_File'Length + 1;
-
-            Inner_Loop : while Current_Object <= Objects'Last loop
-               Size := Size + Objects (Current_Object)'Length + 1;
-               exit Inner_Loop when Size > Maximum_Size;
-               Last_Arg := Last_Arg + 1;
-               Arguments (Last_Arg) := Objects (Current_Object);
-               Current_Object := Current_Object + 1;
-            end loop Inner_Loop;
-
-            Display;
-
-            Spawn (Ar_Exec.all, Arguments (1 .. Last_Arg), Success);
-         end loop Big_Loop;
-      end if;
-
-      if not Success then
-         Fail (Ar_Name.all & " execution error.");
-      end if;
-
-      --  If we have found ranlib, run it over the library
-
-      if Ranlib_Exec /= null then
-         if not Opt.Quiet_Output then
-            Write_Str  (Ranlib_Name.all);
-            Write_Char (' ');
-
-            for J in Ranlib_Options'Range loop
-               Write_Str  (Ranlib_Options (J).all);
-               Write_Char (' ');
-            end loop;
-
-            Write_Line (Arguments (Ar_Options'Length + 1).all);
-         end if;
-
-         Spawn
-           (Ranlib_Exec.all,
-            Ranlib_Options.all & (Arguments (Ar_Options'Length + 1)),
-            Success);
-
-         if not Success then
-            Fail (Ranlib_Name.all & " execution error.");
-         end if;
-      end if;
-   end Ar;
-
-   -----------------
-   -- Delete_File --
-   -----------------
-
-   procedure Delete_File (Filename : String) is
-      File    : constant String := Filename & ASCII.NUL;
-      Success : Boolean;
-
-   begin
-      Delete_File (File'Address, Success);
-
-      if Opt.Verbose_Mode then
-         if Success then
-            Write_Str ("deleted ");
-
-         else
-            Write_Str ("could not delete ");
-         end if;
-
-         Write_Line (Filename);
-      end if;
-   end Delete_File;
-
-   ---------
-   -- Gcc --
-   ---------
-
-   procedure Gcc
-     (Output_File : String;
-      Objects     : Argument_List;
-      Options     : Argument_List;
-      Options_2   : Argument_List;
-      Driver_Name : Name_Id := No_Name)
-   is
-      Link_Bytes : Integer := 0;
-      --  Projected number of bytes for the linker command line
-
-      Link_Max : Integer;
-      pragma Import (C, Link_Max, "__gnat_link_max");
-      --  Maximum number of bytes on the command line supported by the OS
-      --  linker. Passed this limit the response file mechanism must be used
-      --  if supported.
-
-      Object_List_File_Supported : Boolean;
-      for Object_List_File_Supported'Size use Character'Size;
-      pragma Import
-        (C, Object_List_File_Supported, "__gnat_objlist_file_supported");
-      --  Predicate indicating whether the linker has an option whereby the
-      --  names of object files can be passed to the linker in a file.
-
-      Object_File_Option_Ptr : Interfaces.C.Strings.chars_ptr;
-      pragma Import (C, Object_File_Option_Ptr, "__gnat_object_file_option");
-      --  Pointer to a string representing the linker option which specifies
-      --  the response file.
-
-      Object_File_Option : constant String := Value (Object_File_Option_Ptr);
-      --  The linker option which specifies the response file as a string
-
-      Using_GNU_response_file : constant Boolean :=
-                                  Object_File_Option'Length > 0
-                                    and then
-                                      Object_File_Option
-                                        (Object_File_Option'Last) = '@';
-      --  Whether a GNU response file is used
-
-      Tname    : String_Access;
-      Tname_FD : File_Descriptor := Invalid_FD;
-      --  Temporary file used by linker to pass list of object files on
-      --  certain systems with limitations on size of arguments.
-
-      Closing_Status : Boolean;
-      --  For call to Close
-
-      Arguments :
-        Argument_List
-          (1 .. 7 + Objects'Length + Options'Length + Options_2'Length);
-
-      A       : Natural := 0;
-      Success : Boolean;
-
-      Out_Opt : constant String_Access := new String'("-o");
-      Out_V   : constant String_Access := new String'(Output_File);
-      Lib_Dir : constant String_Access := new String'("-L" & Lib_Directory);
-      Lib_Opt : constant String_Access := new String'(Dynamic_Option);
-
-      Driver : String_Access;
-
-      type Object_Position is (First, Second, Last);
-
-      Position : Object_Position;
-
-      procedure Write_RF (S : String);
-      --  Write a string to the response file and check if it was successful.
-      --  Fail the program if it was not successful (disk full).
-
-      --------------
-      -- Write_RF --
-      --------------
-
-      procedure Write_RF (S : String) is
-         Success    : Boolean            := True;
-         Back_Slash : constant Character := '\';
-
-      begin
-         --  If a GNU response file is used, space and backslash need to be
-         --  escaped because they are interpreted as a string separator and
-         --  an escape character respectively by the underlying mechanism.
-         --  On the other hand, quote and double-quote are not escaped since
-         --  they are interpreted as string delimiters on both sides.
-
-         if Using_GNU_response_file then
-            for J in S'Range loop
-               if S (J) = ' ' or else S (J) = '\' then
-                  if Write (Tname_FD, Back_Slash'Address, 1) /= 1 then
-                     Success := False;
-                  end if;
-               end if;
-
-               if Write (Tname_FD, S (J)'Address, 1) /= 1 then
-                  Success := False;
-               end if;
-            end loop;
-
-         else
-            if Write (Tname_FD, S'Address, S'Length) /= S'Length then
-               Success := False;
-            end if;
-         end if;
-
-         if Write (Tname_FD, ASCII.LF'Address, 1) /= 1 then
-            Success := False;
-         end if;
-
-         if not Success then
-            Fail ("cannot generate response file to link library: disk full");
-         end if;
-      end Write_RF;
-
-   --  Start of processing for Gcc
-
-   begin
-      if Driver_Name = No_Name then
-         if Gcc_Exec = null then
-            if Gcc_Name = null then
-               Gcc_Name := Osint.Program_Name ("gcc", "gnatmake");
-            end if;
-
-            Gcc_Exec := Locate_Exec_On_Path (Gcc_Name.all);
-
-            if Gcc_Exec = null then
-               Fail (Gcc_Name.all & " not found in path");
-            end if;
-         end if;
-
-         Driver := Gcc_Exec;
-
-      else
-         Driver := Locate_Exec_On_Path (Get_Name_String (Driver_Name));
-
-         if Driver = null then
-            Fail (Get_Name_String (Driver_Name) & " not found in path");
-         end if;
-      end if;
-
-      Link_Bytes := 0;
-
-      if Lib_Opt'Length /= 0 then
-         A := A + 1;
-         Arguments (A) := Lib_Opt;
-         Link_Bytes := Link_Bytes + Lib_Opt'Length + 1;
-      end if;
-
-      A := A + 1;
-      Arguments (A) := Out_Opt;
-      Link_Bytes := Link_Bytes + Out_Opt'Length + 1;
-
-      A := A + 1;
-      Arguments (A) := Out_V;
-      Link_Bytes := Link_Bytes + Out_V'Length + 1;
-
-      A := A + 1;
-      Arguments (A) := Lib_Dir;
-      Link_Bytes := Link_Bytes + Lib_Dir'Length + 1;
-
-      A := A + Options'Length;
-      Arguments (A - Options'Length + 1 .. A) := Options;
-
-      for J in Options'Range loop
-         Link_Bytes := Link_Bytes + Options (J)'Length + 1;
-      end loop;
-
-      if not Opt.Quiet_Output then
-         if Opt.Verbose_Mode then
-            Write_Str (Driver.all);
-
-         elsif Driver_Name /= No_Name then
-            Write_Str (Get_Name_String (Driver_Name));
-
-         else
-            Write_Str (Gcc_Name.all);
-         end if;
-
-         for J in 1 .. A loop
-            if Opt.Verbose_Mode or else J < 4 then
-               Write_Char (' ');
-               Write_Str  (Arguments (J).all);
-
-            else
-               Write_Str (" ...");
-               exit;
-            end if;
-         end loop;
-
-         --  Do not display all the object files if not in verbose mode, only
-         --  the first one.
-
-         Position := First;
-         for J in Objects'Range loop
-            if Opt.Verbose_Mode or else Position = First then
-               Write_Char (' ');
-               Write_Str (Objects (J).all);
-               Position := Second;
-
-            elsif Position = Second then
-               Write_Str (" ...");
-               Position := Last;
-               exit;
-            end if;
-         end loop;
-
-         for J in Options_2'Range loop
-            if not Opt.Verbose_Mode then
-               if Position = Second then
-                  Write_Str (" ...");
-               end if;
-
-               exit;
-            end if;
-
-            Write_Char (' ');
-            Write_Str (Options_2 (J).all);
-         end loop;
-
-         Write_Eol;
-      end if;
-
-      for J in Objects'Range loop
-         Link_Bytes := Link_Bytes + Objects (J)'Length + 1;
-      end loop;
-
-      for J in Options_2'Range loop
-         Link_Bytes := Link_Bytes + Options_2 (J)'Length + 1;
-      end loop;
-
-      if Object_List_File_Supported and then Link_Bytes > Link_Max then
-
-         --  Create a temporary file containing the object files, one object
-         --  file per line for maximal compatibility with linkers supporting
-         --  this option.
-
-         Create_Temp_File (Tname_FD, Tname);
-
-         for J in Objects'Range loop
-            Write_RF (Objects (J).all);
-         end loop;
-
-         Close (Tname_FD, Closing_Status);
-
-         if not Closing_Status then
-            Fail ("cannot generate response file to link library: disk full");
-         end if;
-
-         A := A + 1;
-         Arguments (A) := new String'(Object_File_Option & Tname.all);
-
-      else
-         A := A + Objects'Length;
-         Arguments (A - Objects'Length + 1 .. A) := Objects;
-      end if;
-
-      A := A + Options_2'Length;
-      Arguments (A - Options_2'Length + 1 .. A) := Options_2;
-
-      Spawn (Driver.all, Arguments (1 .. A), Success);
-
-      if Success then
-         --  Delete the temporary file used in conjunction with linking
-         --  if one was created.
-
-         if Tname_FD /= Invalid_FD then
-            Delete_File (Tname.all);
-         end if;
-
-      else
-         if Driver_Name = No_Name then
-            Fail (Gcc_Name.all & " execution error");
-         else
-            Fail (Get_Name_String (Driver_Name) & " execution error");
-         end if;
-      end if;
-   end Gcc;
-
-   -------------------
-   -- Lib_Directory --
-   -------------------
-
-   function Lib_Directory return String is
-      Libgnat : constant String := Tgt.Libgnat;
-
-   begin
-      --  If procedure Specify_Adalib_Dir has been called, used the specified
-      --  value.
-
-      if Adalib_Path /= null then
-         return Adalib_Path.all;
-      end if;
-
-      Name_Len := Libgnat'Length;
-      Name_Buffer (1 .. Name_Len) := Libgnat;
-      Get_Name_String (Osint.Find_File (Name_Enter, Osint.Library));
-
-      --  Remove libgnat.a
-
-      return Name_Buffer (1 .. Name_Len - Libgnat'Length);
-   end Lib_Directory;
-
-   ------------------------
-   -- Specify_Adalib_Dir --
-   ------------------------
-
-   procedure Specify_Adalib_Dir (Path : String) is
-   begin
-      if Path'Length = 0 then
-         Adalib_Path := null;
-      else
-         Adalib_Path := new String'(Path);
-      end if;
-   end Specify_Adalib_Dir;
-
-end MLib.Utl;