From e71f9e8713f72f6af4bc83c6675dfba5158c1898 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 7 May 2019 21:02:46 +0200
Subject: vhdl: handle attributes in psl expressions.  Fix #813

---
 src/vhdl/vhdl-sem_psl.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index 9dede6e06..994c1b833 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -199,7 +199,8 @@ package body Vhdl.Sem_Psl is
                return Res;
             when Iir_Kind_Function_Call
               | Iir_Kind_Indexed_Name
-              | Iir_Kind_Selected_Element =>
+              | Iir_Kind_Selected_Element
+              | Iir_Kinds_Expression_Attribute =>
                Expr := Name;
             when others =>
                Expr := Name_To_Expression (Expr, Null_Iir);
-- 
cgit v1.2.3