From fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 2 May 2016 09:47:42 +0000 Subject: 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 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/lib-xref-spark_specific.adb | 12 ++++++------ gcc/ada/make.adb | 2 +- 3 files changed, 13 insertions(+), 7 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 72a1ae5..9062859 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 dcd5e56..e575150 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 261f2a6..4449ef1 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; -- cgit v1.1