[Ada] gprbuild fails to find ghost ALI files

This patch fixes a bug where if a ghost unit is compiled with
ignored-ghost mode in a library project, then gprbuild will fail to find
the ALI file, because the compiler generates an empty object file, but
no ALI file.

2019-07-01  Bob Duff  <duff@adacore.com>

gcc/ada/

	* gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
	ignored-ghost.

From-SVN: r272867

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cf6dc8a2e74ba775f2b98652b7b4ec5e63231d4a..95c2caddd1f8efb43a707cb0d1de4da1881d7c39 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-01  Bob Duff  <duff@adacore.com>
+
+       * gnat1drv.adb (gnat1drv): Call Write_ALI if the main unit is
+       ignored-ghost.
+
 2019-07-01  Yannick Moy  <moy@adacore.com>
 
        * sem_ch4.adb (Operator_Check): Refine error message.

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index cd4518f68cd27a84aefac04c4e4bb98167e585a2..1f5817aca7105c871a4a3b435d4206787844369f 100644 (file)
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -1453,9 +1453,13 @@ begin
 
          --  Generate ALI file if specially requested, or for missing subunits,
          --  subunits or predefined generic. For ignored ghost code, the object
-         --  file IS generated, so Object should be True.
+         --  file IS generated, so Object should be True, and since the object
+         --  file is generated, we need to generate the ALI file. We never want
+         --  an object file without an ALI file.
 
-         if Opt.Force_ALI_Tree_File then
+         if Is_Ignored_Ghost_Unit (Main_Unit_Node)
+           or else Opt.Force_ALI_Tree_File
+         then
             Write_ALI (Object => Is_Ignored_Ghost_Unit (Main_Unit_Node));
          end if;