diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-06 11:52:28 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-06 11:52:28 +0000 |
| commit | a613cd8ac36acb90822c7b26f26afc7619a75d6b (patch) | |
| tree | 54b3897bca2b75985a9cc0bce9004d96c83d1e91 /gcc/ada/frontend.adb | |
| parent | e12c5305ef4848cec4c53816c469a0df6954ff59 (diff) | |
| download | gcc-a613cd8ac36acb90822c7b26f26afc7619a75d6b.tar.gz | |
2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>
* a-comlin.adb, exp_aggr.adb, exp_ch6.adb, frontend.adb, gnatbind.adb,
sem_ch3.adb, sem_util.adb: Minor reformatting.
2017-09-06 Yannick Moy <moy@adacore.com>
* freeze.adb (Check_Inherited_Conditions): Rewriting
of inherited preconditions and postconditions should only occur
in GNATprove mode, that is, when GNATprove_Mode is True, not to
be confused with SPARK_Mode being On.
2017-09-06 Yannick Moy <moy@adacore.com>
* sem_warn.adb (Check_References): Take into
account possibility of attribute reference as original node.
2017-09-06 Yannick Moy <moy@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Protect against invalid
use of attribute.
2017-09-06 Eric Botcazou <ebotcazou@adacore.com>
* inline.adb (Split_Unconstrained_Function): Also set Is_Inlined
on the procedure created to encapsulate the body.
* sem_ch7.adb: Add with clause for GNAT.HTable.
(Entity_Table_Size): New constant.
(Entity_Hash): New function.
(Subprogram_Table): New instantiation of GNAT.Htable.Simple_HTable.
(Is_Subprogram_Ref): Rename into...
(Scan_Subprogram_Ref): ...this. Record references to subprograms in
the table instead of bailing out on them. Scan the value of constants
if it is not known at compile time.
(Contains_Subprograms_Refs): Rename into...
(Scan_Subprogram_Refs): ...this.
(Has_Referencer): Scan the body of all inlined subprograms. Reset the
Is_Public flag on subprograms if they are not actually referenced.
(Hide_Public_Entities): Beef up comment on the algorithm.
Reset the table of subprograms on entry.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@251781 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 461c04bcc73..378aacdffd1 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -133,15 +133,15 @@ begin -- Read and process configuration pragma files if present declare - Config_Pragmas : List_Id := Empty_List; - -- Gather configuration pragmas - - Gnat_Adc : constant File_Name_Type := Name_Find ("gnat.adc"); Dot_Gnat_Adc : constant File_Name_Type := Name_Find ("./gnat.adc"); + Gnat_Adc : constant File_Name_Type := Name_Find ("gnat.adc"); Save_Style_Check : constant Boolean := Opt.Style_Check; -- Save style check mode so it can be restored later + Config_Pragmas : List_Id := Empty_List; + -- Gather configuration pragmas + Source_Config_File : Source_File_Index; -- Source reference for -gnatec configuration file @@ -191,19 +191,21 @@ begin declare Len : constant Natural := Config_File_Names (Index)'Length; Str : constant String (1 .. Len) := - Config_File_Names (Index).all; + Config_File_Names (Index).all; + Config_Name : constant File_Name_Type := Name_Find (Str); - Temp_File : constant Boolean := Len > 4 - and then - (Str (Len - 3 .. Len) = ".TMP" - or else - Str (Len - 3 .. Len) = ".tmp"); + Temp_File : constant Boolean := + Len > 4 + and then + (Str (Len - 3 .. Len) = ".TMP" + or else + Str (Len - 3 .. Len) = ".tmp"); -- Extension indicating a temporary config file? begin -- Skip it if it's the default name, already loaded above. - -- Otherwise, we get confusing warning messages about - -- seeing the same thing twice. + -- Otherwise, we get confusing warning messages about seeing + -- the same thing twice. if Config_Name /= Gnat_Adc and then Config_Name /= Dot_Gnat_Adc |