libraries: Load_Std_Library: now return a status.

Propagate this change to libghdl and python binding to avoid abort.

For #1551

6 files changed, 76 insertions, 26 deletions

diff --git a/src/ghdldrv/ghdlcomp.adb b/src/ghdldrv/ghdlcomp.adb
index 3a91136ce..47f530e1b 100644
--- a/src/ghdldrv/ghdlcomp.adb
+++ b/src/ghdldrv/ghdlcomp.adb
@@ -307,10 +307,15 @@ package body Ghdlcomp is
    procedure Common_Compile_Init (Analyze_Only : Boolean) is
    begin
       if Analyze_Only then
-         Setup_Libraries (True);
+         if not Setup_Libraries (True) then
+            raise Option_Error;
+         end if;
       else
-         Setup_Libraries (False);
-         Libraries.Load_Std_Library;
+         if not Setup_Libraries (False)
+           or else not Libraries.Load_Std_Library
+         then
+            raise Option_Error;
+         end if;
          --  WORK library is not loaded.  FIXME: why ?
       end if;
 
@@ -739,7 +744,9 @@ package body Ghdlcomp is
       Lib : Iir_Library_Declaration;
    begin
       Extract_Elab_Unit ("-m", Args, Next_Arg, Prim_Id, Sec_Id);
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       --  Create list of files.
       Files_List := Build_Dependence (Prim_Id, Sec_Id);
@@ -881,7 +888,9 @@ package body Ghdlcomp is
       Next_Arg : Natural;
    begin
       Extract_Elab_Unit ("--gen-makefile", Args, Next_Arg, Prim_Id, Sec_Id);
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
       Files_List := Build_Dependence (Prim_Id, Sec_Id);
 
       Ghdllocal.Gen_Makefile_Disp_Header;
diff --git a/src/ghdldrv/ghdldrv.adb b/src/ghdldrv/ghdldrv.adb
index 648ef9a0e..8d99beca5 100644
--- a/src/ghdldrv/ghdldrv.adb
+++ b/src/ghdldrv/ghdldrv.adb
@@ -584,7 +584,9 @@ package body Ghdldrv is
       use Libraries;
    begin
       Set_Tools_Name (Cmd);
-      Setup_Libraries (Load);
+      if not Setup_Libraries (Load) then
+         raise Option_Error;
+      end if;
       Locate_Tools (Cmd);
       for I in 2 .. Get_Nbr_Paths loop
          Add_Argument (Cmd.Compiler_Args,
@@ -1882,7 +1884,9 @@ package body Ghdldrv is
          Set_Elab_Units (Cmd, "--gen-makefile", Args);
       end if;
 
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         raise Option_Error;
+      end if;
       Files_List := Build_Dependence (Primary_Id, Secondary_Id);
 
       Ghdllocal.Gen_Makefile_Disp_Header;
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index 8570144ee..14756b29c 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -399,7 +399,7 @@ package body Ghdllocal is
       Libraries.Add_Library_Path (Path);
    end Add_Library_Name;
 
-   procedure Setup_Libraries (Load : Boolean)
+   function Setup_Libraries (Load : Boolean) return Boolean
    is
       use Flags;
    begin
@@ -462,9 +462,12 @@ package body Ghdllocal is
            (Get_Machine_Path_Prefix & Directory_Separator);
       end if;
       if Load then
-         Libraries.Load_Std_Library;
+         if not Libraries.Load_Std_Library then
+            return False;
+         end if;
          Libraries.Load_Work_Library;
       end if;
+      return True;
    end Setup_Libraries;
 
    procedure Disp_Config_Prefixes is
@@ -476,7 +479,9 @@ package body Ghdllocal is
          Put_Line (Switch_Prefix_Path.all);
       end if;
 
-      Setup_Libraries (False);
+      if not Setup_Libraries (False) then
+         Put_Line ("(error while loading libraries)");
+      end if;
 
       Put ("environment prefix (GHDL_PREFIX): ");
       if Prefix_Env = null then
@@ -637,7 +642,9 @@ package body Ghdllocal is
    is
       pragma Unreferenced (Cmd);
    begin
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       if Args'Length = 0 then
          Disp_Library (Std_Names.Name_Work);
@@ -701,7 +708,9 @@ package body Ghdllocal is
       Flag_Add : constant Boolean := False;
    begin
       Flags.Bootstrap := True;
-      Libraries.Load_Std_Library;
+      if not Libraries.Load_Std_Library then
+         raise Option_Error;
+      end if;
       Libraries.Load_Work_Library;
 
       for I in Args'Range loop
@@ -765,7 +774,9 @@ package body Ghdllocal is
       Next_Unit : Iir;
       Lib : Iir;
    begin
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       --  Parse all files.
       for I in Args'Range loop
@@ -916,7 +927,10 @@ package body Ghdllocal is
    is
       Error_1 : Boolean;
    begin
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         Error := True;
+         return;
+      end if;
 
       --  Parse all files.
       Error := False;
@@ -1015,7 +1029,9 @@ package body Ghdllocal is
 
       Flags.Bootstrap := True;
       --  Load libraries.
-      Libraries.Load_Std_Library;
+      if not Libraries.Load_Std_Library then
+         raise Option_Error;
+      end if;
       Libraries.Load_Work_Library;
 
       File := Get_Design_File_Chain (Libraries.Work_Library);
@@ -1123,8 +1139,11 @@ package body Ghdllocal is
          raise Option_Error;
       end if;
 
-      Setup_Libraries (False);
-      Libraries.Load_Std_Library;
+      if not Setup_Libraries (False)
+        or else not Libraries.Load_Std_Library
+      then
+         return;
+      end if;
       Dir := Work_Directory;
       Work_Directory := Null_Identifier;
       Libraries.Load_Work_Library;
@@ -1200,7 +1219,9 @@ package body Ghdllocal is
          raise Option_Error;
       end if;
       Flags.Bootstrap := True;
-      Libraries.Load_Std_Library;
+      if not Libraries.Load_Std_Library then
+         raise Option_Error;
+      end if;
       Vhdl.Prints.Disp_Vhdl (Vhdl.Std_Package.Std_Standard_Unit);
    end Perform_Action;
 
@@ -1238,7 +1259,9 @@ package body Ghdllocal is
       From : Iir;
       Top : Iir;
    begin
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       if Args'Length = 0 then
          From := Work_Library;
@@ -1813,7 +1836,9 @@ package body Ghdllocal is
       Next_Arg : Natural;
    begin
       Extract_Elab_Unit ("--elab-order", Args, Next_Arg, Prim_Id, Sec_Id);
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
       Files_List := Build_Dependence (Prim_Id, Sec_Id);
 
       Files_It := List_Iterate (Files_List);
diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads
index 0b195dee5..ee990f1d9 100644
--- a/src/ghdldrv/ghdllocal.ads
+++ b/src/ghdldrv/ghdllocal.ads
@@ -116,7 +116,8 @@ package Ghdllocal is
    procedure Disp_Config_Prefixes;
 
    --  Setup standard libaries path.  If LOAD is true, then load them now.
-   procedure Setup_Libraries (Load : Boolean);
+   --  Return TRUE in case of success, FALSE in case of failure.
+   function Setup_Libraries (Load : Boolean) return Boolean;
 
    --  Set Exec_Prefix from program name.  Called by Setup_Libraries.
    procedure Set_Exec_Prefix_From_Program_Name;
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 2ddc74e75..79d20c68d 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -692,7 +692,9 @@ package body Ghdlprint is
       Flags.Bootstrap := True;
       Flags.Flag_Elocations := True;
       --  Load word library.
-      Libraries.Load_Std_Library;
+      if not Libraries.Load_Std_Library then
+         raise Option_Error;
+      end if;
       Libraries.Load_Work_Library;
 
       --  First loop: parse source file, check destination file does not
@@ -1066,7 +1068,10 @@ package body Ghdlprint is
       Id : Name_Id;
    begin
       if Cmd.Flag_Sem then
-         Setup_Libraries (True);
+         -- Libraries are required for semantic analysis.
+         if not Setup_Libraries (True) then
+            return;
+         end if;
       end if;
 
       --  Keep parenthesis during parse.
@@ -1437,7 +1442,9 @@ package body Ghdlprint is
       Flags.Flag_Xref := True;
 
       --  Load work library.
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       Output_Dir := Cmd.Output_Dir;
       if Output_Dir = null then
@@ -1690,7 +1697,9 @@ package body Ghdlprint is
       Files : File_Data_Array;
    begin
       --  Load work library.
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       Vhdl.Xrefs.Init;
       Flags.Flag_Xref := True;
diff --git a/src/ghdldrv/ghdlxml.adb b/src/ghdldrv/ghdlxml.adb
index 15a8a2940..59de6f386 100644
--- a/src/ghdldrv/ghdlxml.adb
+++ b/src/ghdldrv/ghdlxml.adb
@@ -555,7 +555,9 @@ package body Ghdlxml is
       Files : File_Data_Array;
    begin
       --  Load work library.
-      Setup_Libraries (True);
+      if not Setup_Libraries (True) then
+         return;
+      end if;
 
       --  Parse all files.
       for I in Files'Range loop