Patch for https://gna.org/bugs/?20597 and https://gna.org/support/index.php?2553. Abort compilation if previous errors, or raise bug if none, when asked to Get_Kind of a null object.

1 files changed, 9 insertions, 0 deletions

diff --git a/iirs.adb b/iirs.adb
index f591357ed..b22ef6e4e 100644
--- a/iirs.adb
+++ b/iirs.adb
@@ -145,6 +145,15 @@ package body Iirs is
       --  Speed up: avoid to check that nkind is in the bounds of Iir_Kind.
       pragma Suppress (Range_Check);
    begin
+      if An_Iir = Null_Iir then
+         if Nbr_Errors = 0 then
+            Failed ("Mode", An_Iir);
+         else
+            Error_Msg_Sem ("Aborting compilation due to previous errors.",
+                             An_Iir);
+            raise Compilation_Error;
+         end if;
+      end if;
       return Iir_Kind'Val (Get_Nkind (An_Iir));
    end Get_Kind;