From: Arnaud Charlet Date: Mon, 2 May 2016 09:47:42 +0000 (+0000) Subject: make.adb: Minor... X-Git-Tag: basepoints/gcc-8~7226 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0;p=thirdparty%2Fgcc.git make.adb: Minor... 2016-05-02 Arnaud Charlet * make.adb: Minor: avoid an exception when calling gnatmake with no argument and gnatmake is built with checks on. * lib-xref-spark_specific.adb: Minor code cleanup. From-SVN: r235725 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 72a1ae50a764..90628591ebf4 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2016-05-02 Arnaud Charlet + + * make.adb: Minor: avoid an exception when calling gnatmake with + no argument and gnatmake is built with checks on. + * lib-xref-spark_specific.adb: Minor code cleanup. + 2016-05-02 Ed Schonberg * sem_util.adb (Normalize_Actuals): Take into account extra diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index dcd5e5620a17..e575150d2b50 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2011-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2016, 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- -- @@ -178,7 +178,7 @@ package body SPARK_Specific is -- Update scope numbers declare - Scope_Id : Int; + Scope_Id : Pos; begin Scope_Id := 1; for Index in From .. SPARK_Scope_Table.Last loop @@ -917,8 +917,8 @@ package body SPARK_Specific is (Sdep_Table : Unit_Ref_Table; Num_Sdep : Nat) is - D1 : Nat; - D2 : Nat; + D1 : Pos; + D2 : Pos; begin -- Cross-references should have been computed first @@ -991,9 +991,9 @@ package body SPARK_Specific is Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); Spec_Entity : constant Entity_Id := - Unique_Entity (Srec.Scope_Entity); + Unique_Entity (Srec.Scope_Entity); Spec_Scope : constant Scope_Index := - Entity_Hash_Table.Get (Spec_Entity); + Entity_Hash_Table.Get (Spec_Entity); begin -- Generic spec may be missing in which case Spec_Scope is zero diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 261f2a64a068..4449ef13f984 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -6418,7 +6418,7 @@ package body Make is -- platform. declare - Arg_Len : Positive := Argument_Count; + Arg_Len : Natural := Argument_Count; Call_Gprbuild : Boolean := False; Gprbuild : String_Access := null; Pos : Natural := 0;