psl-nodes: set a location on false/true/one/EOS nodes. Fix #1345

2 files changed, 11 insertions, 2 deletions

diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb
index 3b3dac4be..d3a0d9320 100644
--- a/src/psl/psl-nodes.adb
+++ b/src/psl/psl-nodes.adb
@@ -304,23 +304,32 @@ package body PSL.Nodes is
       Errors.Error_Kind (Msg, N);
    end Failed;
 
-   procedure Init is
+   procedure Init (Loc : Location_Type) is
    begin
+      pragma Assert (Loc /= No_Location);
       Nodet.Init;
+
       if Create_Node (N_False) /= False_Node then
          raise Internal_Error;
       end if;
+      Set_Location (False_Node, Loc);
+
       if Create_Node (N_True) /= True_Node then
          raise Internal_Error;
       end if;
+      Set_Location (True_Node, Loc);
+
       if Create_Node (N_Number) /= One_Node then
          raise Internal_Error;
       end if;
       Set_Value (One_Node, 1);
+      Set_Location (One_Node, Loc);
+
       if Create_Node (N_EOS) /= EOS_Node then
          raise Internal_Error;
       end if;
       Set_Hash (EOS_Node, 0);
+      Set_Location (EOS_Node, Loc);
       PSL.Hash.Init;
    end Init;
 
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads
index eb0ad4cb3..9418ae78a 100644
--- a/src/psl/psl-nodes.ads
+++ b/src/psl/psl-nodes.ads
@@ -460,7 +460,7 @@ package PSL.Nodes is
 
    -- General methods.
 
-   procedure Init;
+   procedure Init (Loc : Location_Type);
 
    --  Get the number of the last node.
    --  To be used to size lateral tables.