-- --
-- B o d y --
-- --
--- --
--- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, 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 2, or (at your option) any later ver- --
+-- 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 COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- 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 Lib; use Lib;
with Osint; use Osint;
with Opt; use Opt;
-with Osint; use Osint;
with Osint.C; use Osint.C;
with Namet; use Namet;
with Nlists; use Nlists;
procedure Call_Back_End (Mode : Back_End_Mode_Type) is
- -- The File_Record type has a lot of components that are meaningless
- -- to the back end, so a new record is created here to contain the
- -- needed information for each file.
+ -- The Source_File_Record type has a lot of components that are
+ -- meaningless to the back end, so a new record type is created
+ -- here to contain the needed information for each file.
- type Needed_File_Info_Type is record
+ type File_Info_Type is record
File_Name : File_Name_Type;
- First_Sloc : Source_Ptr;
- Last_Sloc : Source_Ptr;
Num_Source_Lines : Nat;
end record;
- File_Info_Array :
- array (Main_Unit .. Last_Unit) of Needed_File_Info_Type;
+ File_Info_Array : array (1 .. Last_Source_File) of File_Info_Type;
- procedure gigi (
- gnat_root : Int;
+ procedure gigi
+ (gnat_root : Int;
max_gnat_node : Int;
number_name : Nat;
nodes_ptr : Address;
strings_ptr : Address;
string_chars_ptr : Address;
list_headers_ptr : Address;
- number_units : Int;
+ number_file : Nat;
file_info_ptr : Address;
+ gigi_standard_boolean : Entity_Id;
gigi_standard_integer : Entity_Id;
gigi_standard_long_long_float : Entity_Id;
gigi_standard_exception_type : Entity_Id;
pragma Import (C, gigi);
- S : Source_File_Index;
-
begin
-- Skip call if in -gnatdH mode
return;
end if;
- for J in Main_Unit .. Last_Unit loop
- S := Source_Index (J);
- File_Info_Array (J).File_Name := File_Name (S);
- File_Info_Array (J).First_Sloc := Source_Text (S)'First;
- File_Info_Array (J).Last_Sloc := Source_Text (S)'Last;
- File_Info_Array (J).Num_Source_Lines := Num_Source_Lines (S);
+ for J in 1 .. Last_Source_File loop
+ File_Info_Array (J).File_Name := Full_Debug_Name (J);
+ File_Info_Array (J).Num_Source_Lines := Num_Source_Lines (J);
end loop;
- gigi (
- gnat_root => Int (Cunit (Main_Unit)),
+ gigi
+ (gnat_root => Int (Cunit (Main_Unit)),
max_gnat_node => Int (Last_Node_Id - First_Node_Id + 1),
number_name => Name_Entries_Count,
nodes_ptr => Nodes_Address,
strings_ptr => Strings_Address,
string_chars_ptr => String_Chars_Address,
list_headers_ptr => Lists_Address,
- number_units => Num_Units,
+ number_file => Num_Source_Files,
file_info_ptr => File_Info_Array'Address,
+ gigi_standard_boolean => Standard_Boolean,
gigi_standard_integer => Standard_Integer,
gigi_standard_long_long_float => Standard_Long_Long_Float,
gigi_standard_exception_type => Standard_Exception_Type,
-----------------------------
procedure Scan_Compiler_Arguments is
-
Next_Arg : Pos := 1;
- subtype Big_String is String (Positive);
- type BSP is access Big_String;
-
- type Arg_Array is array (Nat) of BSP;
+ type Arg_Array is array (Nat) of Big_String_Ptr;
type Arg_Array_Ptr is access Arg_Array;
- -- Import flag_stack_check from toplev.c.
-
flag_stack_check : Int;
- pragma Import (C, flag_stack_check); -- Import from toplev.c
+ pragma Import (C, flag_stack_check);
+ -- Import from toplev.c
save_argc : Nat;
- pragma Import (C, save_argc); -- Import from toplev.c
+ pragma Import (C, save_argc);
+ -- Import from toplev.c
save_argv : Arg_Array_Ptr;
- pragma Import (C, save_argv); -- Import from toplev.c
+ pragma Import (C, save_argv);
+ -- Import from toplev.c
Output_File_Name_Seen : Boolean := False;
- -- Set to True after having scanned the file_name for
- -- switch "-gnatO file_name"
+ -- Set to True after having scanned file_name for switch "-gnatO file"
-- Local functions
function Len_Arg (Arg : Pos) return Nat;
- -- Determine length of argument number Arg on the original
- -- command line from gnat1
+ -- Determine length of argument number Arg on the original command line
+ -- from gnat1.
procedure Scan_Back_End_Switches (Switch_Chars : String);
-- Procedure to scan out switches stored in Switch_Chars. The first
-- entire string should consist of valid switch characters, except that
-- an optional terminating NUL character is allowed.
--
- -- Back end switches have already been checked and processed by GCC
- -- in toplev.c, so no errors can occur and control will always return.
- -- The switches must still be scanned to skip the arguments of the
- -- "-o" or the (undocumented) "-dumpbase" switch, by incrementing
- -- the Next_Arg variable. The "-dumpbase" switch is used to set the
- -- basename for GCC dumpfiles.
+ -- Back end switches have already been checked and processed by GCC in
+ -- toplev.c, so no errors can occur and control will always return. The
+ -- switches must still be scanned to skip "-o" or internal GCC switches
+ -- with their argument.
-------------
-- Len_Arg --
procedure Scan_Back_End_Switches (Switch_Chars : String) is
First : constant Positive := Switch_Chars'First + 1;
- Last : Natural := Switch_Chars'Last;
+ Last : constant Natural := Switch_Last (Switch_Chars);
begin
- if Last >= First
- and then Switch_Chars (Last) = ASCII.NUL
- then
- Last := Last - 1;
- end if;
-
- -- For dumpbase and o, skip following argument and do not
- -- store either the switch or the following argument
+ -- Skip -o or internal GCC switches together with their argument
if Switch_Chars (First .. Last) = "o"
- or else Switch_Chars (First .. Last) = "dumpbase"
-
+ or else Is_Internal_GCC_Switch (Switch_Chars)
then
Next_Arg := Next_Arg + 1;
elsif Switch_Chars (First .. Last) = "quiet" then
null;
- else
- -- Store any other GCC switches
+ -- Store any other GCC switches
+ else
Store_Compilation_Switch (Switch_Chars);
+
+ -- Special check, the back end switch -fno-inline also sets the
+ -- front end flag to entirely inhibit all inlining.
+
+ if Switch_Chars (First .. Last) = "fno-inline" then
+ Opt.Suppress_All_Inlining := True;
+
+ -- Another special check, the switch -fpreserve-control-flow
+ -- which is also a back end switch sets the front end flag
+ -- that inhibits improper control flow transformations.
+
+ elsif Switch_Chars (First .. Last) = "fpreserve-control-flow" then
+ Opt.Suppress_Control_Flow_Optimizations := True;
+ end if;
end if;
end Scan_Back_End_Switches;
-- Loop through command line arguments, storing them for later access
while Next_Arg < save_argc loop
-
Look_At_Arg : declare
- Argv_Ptr : constant BSP := save_argv (Next_Arg);
- Argv_Len : constant Nat := Len_Arg (Next_Arg);
- Argv : String := Argv_Ptr (1 .. Natural (Argv_Len));
+ Argv_Ptr : constant Big_String_Ptr := save_argv (Next_Arg);
+ Argv_Len : constant Nat := Len_Arg (Next_Arg);
+ Argv : constant String :=
+ Argv_Ptr (1 .. Natural (Argv_Len));
begin
-- If the previous switch has set the Output_File_Name_Present
Output_File_Name_Seen := True;
end if;
+ -- If the previous switch has set the Search_Directory_Present
+ -- flag (that is if we have just seen -I), then the next argument
+ -- is a search directory path.
+
+ elsif Search_Directory_Present then
+ if Is_Switch (Argv) then
+ Fail ("search directory missing after -I");
+ else
+ Add_Src_Search_Dir (Argv);
+ Search_Directory_Present := False;
+ end if;
+
elsif not Is_Switch (Argv) then -- must be a file name
Add_File (Argv);
Opt.No_Stdinc := True;
Scan_Back_End_Switches (Argv);
+ -- We must recognize -nostdlib to suppress visibility on the
+ -- standard GNAT RTL objects.
+
+ elsif Argv (Argv'First + 1 .. Argv'Last) = "nostdlib" then
+ Opt.No_Stdlib := True;
+
elsif Is_Front_End_Switch (Argv) then
Scan_Front_End_Switches (Argv);