From 2bdc1cdc3afc8350fb5bb1ba7a438055704a6ed9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 26 Apr 2020 20:06:46 +0200
Subject: psl: keep locations.

---
 src/psl/psl-hash.adb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/psl/psl-hash.adb')

diff --git a/src/psl/psl-hash.adb b/src/psl/psl-hash.adb
index 89394c97d..2e36602d9 100644
--- a/src/psl/psl-hash.adb
+++ b/src/psl/psl-hash.adb
@@ -45,7 +45,8 @@ package body PSL.Hash is
       end loop;
    end Init;
 
-   function Get_PSL_Node (Hdl : Int32) return Node is
+   function Get_PSL_Node (Hdl : Int32; Loc : Location_Type) return Node
+   is
       Idx : Index_Type := Index_Type (Hdl mod Int32 (Hash_Size));
       N_Idx : Index_Type;
       Res : Node;
@@ -55,6 +56,7 @@ package body PSL.Hash is
       if Res = Null_Node then
          Res := Create_Node (N_HDL_Bool);
          Set_HDL_Node (Res, Hdl);
+         Set_Location (Res, Loc);
          Cells.Table (Idx).Res := Res;
          return Res;
       end if;
@@ -71,6 +73,7 @@ package body PSL.Hash is
       end loop;
       Res := Create_Node (N_HDL_Bool);
       Set_HDL_Node (Res, Hdl);
+      Set_Location (Res, Loc);
       Cells.Append ((Res => Res, Next => No_Index));
       Cells.Table (Idx).Next := Cells.Last;
       return Res;
-- 
cgit v1.2.3