diff mbox series

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

Message ID 20220516084316.GA3843744@adacore.com
State Committed
Commit 9eb55045f8d22919c47b38809afbcad7ad9a38d5
Headers
Series [Ada] Don't crash on ghost packages when emitting CUDA symbols in ALI files |

Commit Message

Pierre-Marie de Rodat May 16, 2022, 8:43 a.m. UTC 
  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.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

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

Patch

diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb
--- 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