CbC/CbC_gcc: gcc/ada/gnat1drv.adb comparison

comparison gcc/ada/gnat1drv.adb @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children

comparison

equal deleted inserted replaced

-:84e7813d76e9
+:1830386684a0
 --                                                                          --
 --                             G N A T 1 D R V                              --
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2018, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2019, 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- --
 with Osint.C;   use Osint.C;
 with Output;    use Output;
 with Par_SCO;
 with Prepcomp;
 with Repinfo;
+with Repinfo.Input;
 with Restrict;
 with Rident;    use Rident;
 with Rtsfind;
 with SCOs;
 with Sem;
 with Sem_Ch8;
 with Sem_Ch12;
 with Sem_Ch13;
 with Sem_Elim;
 with Sem_Eval;
-with Sem_SPARK; use Sem_SPARK;
+with Sem_Prag;
 with Sem_Type;
 with Set_Targ;
 with Sinfo;     use Sinfo;
+with Sinput;    use Sinput;
 with Sinput.L;  use Sinput.L;
 with Snames;    use Snames;
 with Sprint;    use Sprint;
 with Stringt;
 with Stylesw;   use Stylesw;
 with Uintp;
 with Uname;     use Uname;
 with Urealp;
 with Usage;
 with Validsw;   use Validsw;
+with Warnsw;    use Warnsw;
 with System.Assertions;
 with System.OS_Lib;
 --------------
 --  to the end of the compilation process, after generating code but before
 --  issuing error messages. In particular, these checks generally require
 --  the information provided by the back end in back annotation of declared
 --  entities (e.g. actual size and alignment values chosen by the back end).
+procedure Read_JSON_Files_For_Repinfo;
+--  This procedure exercises the JSON parser of Repinfo by reading back the
+--  JSON files generated by -gnatRjs in a previous compilation session. It
+--  is intended to make sure that the JSON generator and the JSON parser are
+--  kept synchronized when the JSON format evolves.
 ----------------------------
 -- Adjust_Global_Switches --
 ----------------------------
 procedure Adjust_Global_Switches is
 (Alignment_Check   => True,
 Division_Check    => True,
 Elaboration_Check => True,
 others            => False);
-Dynamic_Elaboration_Checks := False;
+--  Need to enable dynamic elaboration checks to disable strict
+--  static checking performed by gnatbind. We are at the same time
+--  suppressing actual compile time elaboration checks to simplify
+--  the generated code.
+Dynamic_Elaboration_Checks := True;
 --  Set STRICT mode for overflow checks if not set explicitly. This
 --  prevents suppressing of overflow checks by default, in code down
 --  below.
 --  All other validity checking is turned off, since this can generate
 --  very complex trees that only confuse CodePeer and do not bring
 --  enough useful info.
 Reset_Validity_Check_Options;
-Validity_Check_Default       := True;
+Set_Validity_Check_Options ("dc");
-Validity_Check_Copies        := True;
 Check_Validity_Of_Parameters := False;
 --  Turn off style check options and ignore any style check pragmas
 --  since we are not interested in any front-end warnings when we are
 --  getting CodePeer output.
 --  is in the business of finding problems, not enforcing rules.
 --  This is useful when using CodePeer mode with other compilers.
 Relaxed_RM_Semantics := True;
-if not Generate_CodePeer_Messages then
+if Generate_CodePeer_Messages then
+--  We do want to emit GNAT warnings when using -gnateC. But,
+--  in CodePeer mode, warnings about memory representation are not
+--  meaningful, thus, suppress them.
+Warn_On_Biased_Representation := False; -- -gnatw.b
+Warn_On_Unrepped_Components := False;   -- -gnatw.c
+Warn_On_Record_Holes := False;          -- -gnatw.h
+Warn_On_Unchecked_Conversion := False;  -- -gnatwz
+Warn_On_Size_Alignment := False;        -- -gnatw.z
+Warn_On_Questionable_Layout := False;   -- -gnatw.q
+Warn_On_Overridden_Size := False;       -- -gnatw.s
+Warn_On_Reverse_Bit_Order := False;     -- -gnatw.v
+else
 --  Suppress compiler warnings by default when generating SCIL for
 --  CodePeer, except when combined with -gnateC where we do want to
 --  emit GNAT warnings.
 --  No back-end inlining available on C generation
 not Generate_C_Code
+--  No back-end inlining available in ASIS mode
+and then not ASIS_Mode
 --  No back-end inlining in GNATprove mode, since it just confuses
 --  the formal verification process.
 and then not GNATprove_Mode
 --  and alignment annotated by the backend where possible). We need to
 --  unlock temporarily these tables to reanalyze their expression.
 Atree.Unlock;
 Nlists.Unlock;
+Elists.Unlock;
 Sem.Unlock;
-Sem_Ch13.Validate_Compile_Time_Warning_Errors;
+Sem_Prag.Validate_Compile_Time_Warning_Errors;
 Sem.Lock;
+Elists.Lock;
 Nlists.Lock;
 Atree.Lock;
 --  Validate unchecked conversions (using the values for size and
 --  alignment annotated by the backend where possible).
 --
 --  if AAMP_On_Target then
 --     Sem_Ch13.Validate_Independence;
 --  end if;
 end Post_Compilation_Validation_Checks;
+-----------------------------------
+--  Read_JSON_Files_For_Repinfo  --
+-----------------------------------
+procedure Read_JSON_Files_For_Repinfo is
+begin
+--  This is the same loop construct as in Repinfo.List_Rep_Info
+for U in Main_Unit .. Last_Unit loop
+if In_Extended_Main_Source_Unit (Cunit_Entity (U)) then
+declare
+Nam   : constant String :=
+Get_Name_String
+(File_Name (Source_Index (U))) & ".json";
+Namid : constant File_Name_Type    := Name_Enter (Nam);
+Index : constant Source_File_Index := Load_Config_File (Namid);
+begin
+if Index = No_Source_File then
+Write_Str ("cannot locate ");
+Write_Line (Nam);
+raise Unrecoverable_Error;
+end if;
+Repinfo.Input.Read_JSON_Stream (Source_Text (Index).all, Nam);
+exception
+when Repinfo.Input.Invalid_JSON_Stream =>
+raise Unrecoverable_Error;
+end;
+end if;
+end loop;
+end Read_JSON_Files_For_Repinfo;
 --  Local variables
 Back_End_Mode : Back_End.Back_End_Mode_Type;
 Ecode         : Exit_Code_Type;
 if Operating_Mode /= Check_Syntax then
 --  Acquire target parameters from system.ads (package System source)
 Targparm_Acquire : declare
-use Sinput;
 S : Source_File_Index;
 N : File_Name_Type;
 begin
 --  Check we do not have more than one source file, this happens only in
 --  the case where the driver is called directly, it cannot happen when
 --  gnat1 is invoked from gcc in the normal case.
 if Osint.Number_Of_Files /= 1 then
-Usage;
-Write_Eol;
+--  In GNATprove mode, gcc is not called, so we may end up with
+--  switches wrongly interpreted as source file names when they are
+--  written by mistake without a starting hyphen. Issue a specific
+--  error message but do not print the internal 'usage' message.
+if GNATprove_Mode then
+Write_Str
+("one of the following is not a valid switch or source file "
+& "name: ");
+Osint.Dump_Command_Line_Source_File_Names;
+else
+Usage;
+Write_Eol;
+end if;
 Osint.Fail ("you must provide one source file");
 elsif Usage_Requested then
 Usage;
 end if;
 elsif Main_Unit_Kind in N_Generic_Renaming_Declaration then
 Back_End_Mode := Generate_Object;
 --  It is not an error to analyze in CodePeer mode a spec which requires
 --  a body, in order to generate SCIL for this spec.
---  Ditto for Generate_C_Code mode and generate a C header for a spec.
+elsif CodePeer_Mode then
-elsif CodePeer_Mode or Generate_C_Code then
 Back_End_Mode := Generate_Object;
+--  Differentiate use of -gnatceg to generate a C header from an Ada spec
+--  to the CCG case (standard.h found) where C code generation should
+--  only be performed on full units.
+elsif Generate_C_Code then
+Name_Len := 10;
+Name_Buffer (1 .. Name_Len) := "standard.h";
+if Find_File (Name_Find, Osint.Source, Full_Name => True) = No_File
+then
+Back_End_Mode := Generate_Object;
+else
+Back_End_Mode := Skip;
+end if;
 --  It is not an error to analyze in GNATprove mode a spec which requires
 --  a body, when the body is not available. During frame condition
 --  generation, the corresponding ALI file is generated. During
 --  analysis, the spec is analyzed.
 Errout.Output_Messages;
 Treepr.Tree_Dump;
 Tree_Gen;
 --  Generate ALI file if specially requested, or for missing subunits,
---  subunits or predefined generic.
+--  subunits or predefined generic. For ignored ghost code, the object
+--  file IS generated, so Object should be True, and since the object
-if Opt.Force_ALI_Tree_File then
+--  file is generated, we need to generate the ALI file. We never want
-Write_ALI (Object => False);
+--  an object file without an ALI file.
+if Is_Ignored_Ghost_Unit (Main_Unit_Node)
+or else Opt.Force_ALI_Tree_File
+then
+Write_ALI (Object => Is_Ignored_Ghost_Unit (Main_Unit_Node));
 end if;
 Namet.Finalize;
 Check_Rep_Info;
 Prepcomp.Add_Dependencies;
 if GNATprove_Mode then
---  Perform the new SPARK checking rules for pointer aliasing. This is
---  only activated in GNATprove mode and on SPARK code.
-if Debug_Flag_FF then
-Check_Safe_Pointers (Main_Unit_Node);
-end if;
 --  In GNATprove mode we're writing the ALI much earlier than usual
 --  as flow analysis needs the file present in order to append its
 --  own globals to it.
 --  Note: In GNATprove mode, an "object" file is always generated as
 --  Some back ends (for instance Gigi) are known to rely on SCOs for code
 --  generation. Make sure they are available.
 if Generate_SCO then
 Par_SCO.SCO_Record_Filtered;
+end if;
+--  If -gnatd_j is specified, exercise the JSON parser of Repinfo
+if Debug_Flag_Underscore_J then
+Read_JSON_Files_For_Repinfo;
 end if;
 --  Back end needs to explicitly unlock tables it needs to touch
 Atree.Lock;

Mercurial > hg > CbC > CbC_gcc

comparison gcc/ada/gnat1drv.adb @ 145:1830386684a0