sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant is discrete before analyzing choices.

	* sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
	is discrete before analyzing choices.

	* bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
	containing the name of the Ada Main Program. This string is mainly
	intended for the debugger.
	(Gen_Output_File_C): Do the equivalent change when generating a C file.

	* ali.adb: Set new Dummy_Entry field in dependency entry

	* ali.ads: Add Dummy_Entry field to source dependency table

	* bcheck.adb (Check_Consistency): Ignore dummy D lines

	* lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files

	* lib-writ.ads: Document dummy D lines for missing files.

	* types.ads: (Dummy_Time_Stamp): New value for non-existant files

From-SVN: r48126

1 files changed, 6 insertions, 0 deletions

diff --git a/gcc/ada/bcheck.adb b/gcc/ada/bcheck.adb
index c4da7574030..77b3284fc33 100644
--- a/gcc/ada/bcheck.adb
+++ b/gcc/ada/bcheck.adb
@@ -529,6 +529,10 @@ package body Bcheck is
          Sdep_Loop : for D in
            ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep
          loop
+            if Sdep.Table (D).Dummy_Entry then
+               goto Continue;
+            end if;
+
             Src := Source_Id (Get_Name_Table_Info (Sdep.Table (D).Sfile));
 
             --  If the time stamps match, or all checksums match, then we
@@ -587,6 +591,8 @@ package body Bcheck is
                exit Sdep_Loop;
             end if;
 
+         <<Continue>>
+            null;
          end loop Sdep_Loop;
       end loop ALIs_Loop;
    end Check_Consistency;