From 4cdf1cee17b7f06ec188dd0f7136fbad498953cb Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 29 Apr 2020 08:24:37 +0200
Subject: psl: set locations in CSE.  Fix #1272

---
 src/psl/psl-cse.adb | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/src/psl/psl-cse.adb b/src/psl/psl-cse.adb
index 93cd85452..599031f27 100644
--- a/src/psl/psl-cse.adb
+++ b/src/psl/psl-cse.adb
@@ -132,6 +132,7 @@ package body PSL.CSE is
       Res := Create_Node (N_And_Bool);
       Set_Left (Res, L);
       Set_Right (Res, R);
+      Copy_Location (Res, L);
       Set_Hash_Link (Res, Head);
       Set_Hash (Res, Hash);
       Hash_Table (Hash mod Hash_Table'Length) := Res;
@@ -175,6 +176,7 @@ package body PSL.CSE is
       Res := Create_Node (N_Or_Bool);
       Set_Left (Res, L);
       Set_Right (Res, R);
+      Copy_Location (Res, L);
       Set_Hash_Link (Res, Head);
       Set_Hash (Res, Hash);
       Hash_Table (Hash mod Hash_Table'Length) := Res;
@@ -211,6 +213,7 @@ package body PSL.CSE is
 
       Res := Create_Node (N_Not_Bool);
       Set_Boolean (Res, N);
+      Copy_Location (Res, N);
       Set_Hash_Link (Res, Head);
       Set_Hash (Res, Hash);
       Hash_Table (Hash mod Hash_Table'Length) := Res;
-- 
cgit v1.2.3