2011-08-03 Eric Botcazou <ebotcazou@adacore.com>

	* gnat_ugn.texi: Document -Wstack-usage.
	* gcc-interface/misc.c (enumerate_modes): Add guard for ghost FP modes.

2011-08-03  Thomas Quinot  <quinot@adacore.com>

	* sem_prag.adb Issue an error (not a warning) when a C++ type does not
	have keyword LIMITED.

2011-08-03  Yannick Moy  <moy@adacore.com>

	* alfa.adb, alfa.ads, alfa_test.adb: New files.
	* ali.adb (Known_ALI_Lines): add 'C' lines (SCO) and 'F' lines (ALFA)
	(Scan_ALI): do not issue a fatal error if parsing known lines after Xref
	section (does not happen in compiler, only if code directly calls
	Scan_ALI).
	* get_alfa.adb, get_alfa.ads: New files.
	* lib-writ.adb, lib-writ.ads (Write_ALI): output ALFA information if
	needed.
	* lib-xref-alfa.adb: New file.
	* lib-xref.adb, lib-xref.ads
	(Xref_Entry): redefine information needed in cross-references for ALFA.
	Push ALFA treatments in separated local package.
	(Enclosing_Subpragram_Or_Package): treat specially subprogram
	identifiers. Return entity of package body instead of spec. Return
	Empty for a scope with no location.
	(Generate_Reference): adapt to new components for ALFA information.
	Remove the need for D references on definitions.
	(Is_Local_Reference): moved to ALFA local package
	(Output_References): extract subfunction as Extract_Source_Name
	(Output_Local_References): remove procedure, replaced by filtering of
	cross-references in package ALFA and printing in Put_ALFA.
	(Write_Entity_Name): remove procedure
	* lib.adb, lib.ads (Extract_Source_Name): extract here function to
	print exact name of entity as it appears in source file
	(Unit_Ref_Table): make type public for use in Lib.Xref.ALFA
	* put_alfa.adb, put_alfa.ads: New files.
	* xref_lib.adb (Search_Xref): protect read of cross-references against
	reading other sections of the ALI file, in gnatxref
	(Search): protect read of cross-references against reading other
	sections of the ALI file, in gnatfind.
	* gcc-interface/Make-lang.in: Update dependencies.

2011-08-03  Thomas Quinot  <quinot@adacore.com>

	* sem_ch3.adb: Minor reformatting.

2011-08-03  Jose Ruiz  <ruiz@adacore.com>

	* s-inmaop-vxworks.adb (Setup_Interrupt_Mask): Do nothing instead of
	raising an exception.

2011-08-03  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb (Set_String_Literal_Subtype): if index type is an integer
	type, always use 1 as the lower bound or string, even if lower bound of
	context is not static, to handle properly null strings in a non-static
	context.

2011-08-03  Bob Duff  <duff@adacore.com>

	* sem_prag.adb (Resolve_Aggregate): An array aggregate with 'others' is
	always legal on the right-hand side of an assignment statement; there
	is always an applicable index constraint in this case. Therefore, the
	check for Pkind = N_Assignment_Statement is now unconditional -- it
	doesn't depend on whether Is_Constrained (Typ).



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

1 files changed, 203 insertions, 0 deletions

diff --git a/gcc/ada/alfa.adb b/gcc/ada/alfa.adb
new file mode 100644
index 00000000000..42997b73461
--- /dev/null
+++ b/gcc/ada/alfa.adb
@@ -0,0 +1,203 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--                                 A L F A                                  --
+--                                                                          --
+--                                 B o d y                                  --
+--                                                                          --
+--             Copyright (C) 2011, 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.      --
+--                                                                          --
+------------------------------------------------------------------------------
+
+with Output;   use Output;
+with Put_ALFA;
+
+package body ALFA is
+
+   -----------
+   -- dalfa --
+   -----------
+
+   procedure dalfa is
+   begin
+      --  Dump ALFA file table
+
+      Write_Line ("ALFA File Table");
+      Write_Line ("---------------");
+
+      for Index in 1 .. ALFA_File_Table.Last loop
+         declare
+            AFR : ALFA_File_Record renames ALFA_File_Table.Table (Index);
+
+         begin
+            Write_Str ("  ");
+            Write_Int (Int (Index));
+            Write_Str (".  File_Num = ");
+            Write_Int (Int (AFR.File_Num));
+            Write_Str ("  File_Name = """);
+
+            if AFR.File_Name /= null then
+               Write_Str (AFR.File_Name.all);
+            end if;
+
+            Write_Char ('"');
+            Write_Str ("  From = ");
+            Write_Int (Int (AFR.From_Scope));
+            Write_Str ("  To = ");
+            Write_Int (Int (AFR.To_Scope));
+            Write_Eol;
+         end;
+      end loop;
+
+      --  Dump ALFA scope table
+
+      Write_Eol;
+      Write_Line ("ALFA Scope Table");
+      Write_Line ("----------------");
+
+      for Index in 1 .. ALFA_Scope_Table.Last loop
+         declare
+            ASR : ALFA_Scope_Record renames ALFA_Scope_Table.Table (Index);
+
+         begin
+            Write_Str ("  ");
+            Write_Int (Int (Index));
+            Write_Str (".  File_Num = ");
+            Write_Int (Int (ASR.File_Num));
+            Write_Str ("  Scope_Num = ");
+            Write_Int (Int (ASR.Scope_Num));
+            Write_Str ("  Scope_Name = """);
+
+            if ASR.Scope_Name /= null then
+               Write_Str (ASR.Scope_Name.all);
+            end if;
+
+            Write_Char ('"');
+            Write_Str  ("  Line = ");
+            Write_Int  (Int (ASR.Line));
+            Write_Str  ("  Col = ");
+            Write_Int  (Int (ASR.Col));
+            Write_Str  ("  Type = ");
+            Write_Char (ASR.Stype);
+            Write_Str  ("  From = ");
+            Write_Int  (Int (ASR.From_Xref));
+            Write_Str  ("  To = ");
+            Write_Int  (Int (ASR.To_Xref));
+            Write_Str  ("  Scope_Entity = ");
+            Write_Int  (Int (ASR.Scope_Entity));
+            Write_Eol;
+         end;
+      end loop;
+
+      --  Dump ALFA cross-reference table
+
+      Write_Eol;
+      Write_Line ("ALFA Xref Table");
+      Write_Line ("---------------");
+
+      for Index in 1 .. ALFA_Xref_Table.Last loop
+         declare
+            AXR : ALFA_Xref_Record renames ALFA_Xref_Table.Table (Index);
+
+         begin
+            Write_Str  ("  ");
+            Write_Int  (Int (Index));
+            Write_Str (".  Entity_Name = """);
+
+            if AXR.Entity_Name /= null then
+               Write_Str (AXR.Entity_Name.all);
+            end if;
+
+            Write_Char ('"');
+            Write_Str ("  Entity_Line = ");
+            Write_Int (Int (AXR.Entity_Line));
+            Write_Str ("  Entity_Col = ");
+            Write_Int (Int (AXR.Entity_Col));
+            Write_Str ("  File_Num = ");
+            Write_Int (Int (AXR.File_Num));
+            Write_Str ("  Scope_Num = ");
+            Write_Int (Int (AXR.Scope_Num));
+            Write_Str ("  Line = ");
+            Write_Int (Int (AXR.Line));
+            Write_Str ("  Col = ");
+            Write_Int (Int (AXR.Col));
+            Write_Str ("  Type = ");
+            Write_Char (AXR.Rtype);
+            Write_Eol;
+         end;
+      end loop;
+   end dalfa;
+
+   ----------------
+   -- Initialize --
+   ----------------
+
+   procedure Initialize_ALFA_Tables is
+   begin
+      ALFA_File_Table.Init;
+      ALFA_Scope_Table.Init;
+      ALFA_Xref_Table.Init;
+   end Initialize_ALFA_Tables;
+
+   -----------
+   -- palfa --
+   -----------
+
+   procedure palfa is
+
+      procedure Write_Info_Char (C : Character) renames Write_Char;
+      --  Write one character;
+
+      function Write_Info_Col return Positive;
+      --  Return next column for writing
+
+      procedure Write_Info_Initiate (Key : Character) renames Write_Char;
+      --  Start new one and write one character;
+
+      procedure Write_Info_Nat (N : Nat);
+      --  Write value of N
+
+      procedure Write_Info_Terminate renames Write_Eol;
+      --  Terminate current line
+
+      --------------------
+      -- Write_Info_Col --
+      --------------------
+
+      function Write_Info_Col return Positive is
+      begin
+         return Positive (Column);
+      end Write_Info_Col;
+
+      --------------------
+      -- Write_Info_Nat --
+      --------------------
+
+      procedure Write_Info_Nat (N : Nat) is
+      begin
+         Write_Int (N);
+      end Write_Info_Nat;
+
+      procedure Debug_Put_ALFA is new Put_ALFA;
+
+      --  Start of processing for palfa
+
+   begin
+      Debug_Put_ALFA;
+   end palfa;
+
+end ALFA;