From 58b2c934de954596e6e24591e0fc219be21bf850 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 14 Aug 2019 08:28:59 +0200
Subject: vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL
 scanner mode.

---
 src/vhdl/vhdl-parse.adb | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/vhdl')

diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb
index e10786022..cf2a1968e 100644
--- a/src/vhdl/vhdl-parse.adb
+++ b/src/vhdl/vhdl-parse.adb
@@ -8632,6 +8632,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Assume_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'assume'
       Scan;
 
@@ -8651,6 +8654,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Cover_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'cover'
       Scan;
 
@@ -8667,6 +8673,9 @@ package body Vhdl.Parse is
    begin
       Res := Create_Iir (Iir_Kind_Psl_Restrict_Directive);
 
+      --  Accept PSL tokens
+      Vhdl.Scanner.Flag_Psl := True;
+
       --  Skip 'restrict'
       Scan;
 
-- 
cgit v1.2.3