From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Mon, 14 Mar 2022 08:58:52 +0000 (+0100)
Subject: [Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files
X-Git-Tag: basepoints/gcc-14~6711
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9eb55045f8d22919c47b38809afbcad7ad9a38d5;p=thirdparty%2Fgcc.git

[Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files

Before this commit, a GNAT compiled with assertions would crash when
attempting to emit CUDA symbols in ALI files for spark_mode/ghost
packages, whose content is a single null statement.

gcc/ada/

	* lib-writ.adb (Output_CUDA_Symbols): Check for null packages.
---

diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb
index 556df9a7b73..b525bbac0f5 100644
--- a/gcc/ada/lib-writ.adb
+++ b/gcc/ada/lib-writ.adb
@@ -403,7 +403,9 @@ package body Lib.Writ is
          Kernel_Elm  : Elmt_Id;
          Kernel      : Entity_Id;
       begin
-         if not Enable_CUDA_Expansion then
+         if not Enable_CUDA_Expansion
+           or else Nkind (Unit_Id) = N_Null_Statement
+         then
             return;
          end if;
          Spec_Id := (if Nkind (Unit_Id) = N_Package_Body