From: Johannes Kanig <kanig@adacore.com>
Date: Wed, 7 Jan 2015 10:24:46 +0000 (+0000)
Subject: lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded cross ref files.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ccfe725bc63fb3e3f279f1995a13b8b585bd6468;p=gcc.git

lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded cross ref files.

2015-01-07  Johannes Kanig  <kanig@adacore.com>

	* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
	cross ref files.

From-SVN: r219292
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a422194de6f..526bf38027b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2015-01-07  Johannes Kanig  <kanig@adacore.com>
+
+	* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
+	cross ref files.
+
 2015-01-07  Robert Dewar  <dewar@adacore.com>
 
 	* s-taprop-linux.adb, clean.adb: Minor reformatting.
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 28677060aae..b38d65b23dd 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -889,10 +889,18 @@ package body SPARK_Specific is
             D2 := D1;
          end if;
 
-         Add_SPARK_File
-           (Ubody => Sdep_Table (D1),
-            Uspec => Sdep_Table (D2),
-            Dspec => D2);
+         --  Some files do not correspond to Ada units, and as such present no
+         --  interest for SPARK cross references. Skip these files, as printing
+         --  their name may require printing the full name with spaces, which
+         --  is not handled in the code doing I/O of SPARK cross references.
+
+         if Present (Cunit_Entity (Sdep_Table (D1))) then
+            Add_SPARK_File
+              (Ubody => Sdep_Table (D1),
+               Uspec => Sdep_Table (D2),
+               Dspec => D2);
+         end if;
+
          D1 := D2 + 1;
       end loop;