diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-08-27 16:55:58 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-08-27 16:55:58 +0200 |
commit | ad44f06c82d3a6f7a520e78a93d542b034579155 (patch) | |
tree | 8eaef96bdf41f3996bac5b582a4f999ecdee377c /src/vhdl/parse.adb | |
parent | 5dbdac34315ff4be500394903788c430ff9988a5 (diff) | |
download | ghdl-ad44f06c82d3a6f7a520e78a93d542b034579155.tar.gz ghdl-ad44f06c82d3a6f7a520e78a93d542b034579155.tar.bz2 ghdl-ad44f06c82d3a6f7a520e78a93d542b034579155.zip |
Avoid a crash with postponed assertions in vhdl08
Diffstat (limited to 'src/vhdl/parse.adb')
-rw-r--r-- | src/vhdl/parse.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/parse.adb b/src/vhdl/parse.adb index aeed1c507..a3b9a52b0 100644 --- a/src/vhdl/parse.adb +++ b/src/vhdl/parse.adb @@ -7155,6 +7155,11 @@ package body Parse is begin Res := Create_Iir (Iir_Kind_Psl_Assert_Statement); + -- Accept PSL tokens + if Flags.Vhdl_Std >= Vhdl_08 then + Scanner.Flag_Psl := True; + end if; + -- Skip 'assert' Scan; |