diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-07-24 05:19:45 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-07-24 05:23:32 +0200 |
| commit | 257309de4112f0f9ea5712669e840834feb3f066 (patch) | |
| tree | cc79bf1fe577bdcc38b5145f03ecf920b56e6c0f /src/errorout.ads | |
| parent | fd8ab18f6cbe91b0f7820909fffecdd07440cb29 (diff) | |
| download | ghdl-257309de4112f0f9ea5712669e840834feb3f066.tar.gz ghdl-257309de4112f0f9ea5712669e840834feb3f066.tar.bz2 ghdl-257309de4112f0f9ea5712669e840834feb3f066.zip | |
vhdl scanner: handle pragma translate_on/translate_off.
Diffstat (limited to 'src/errorout.ads')
| -rw-r--r-- | src/errorout.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/errorout.ads b/src/errorout.ads index 39e170d6d..2c40d0047 100644 --- a/src/errorout.ads +++ b/src/errorout.ads @@ -53,6 +53,9 @@ package Errorout is -- Vhdl93 reserved word is used as a vhdl87 identifier. Warnid_Reserved_Word, + -- Anything about pragma: unknown pragma, nested pragma... + Warnid_Pragma, + -- Start of block comment ('/*') appears in a block comment. Warnid_Nested_Comment, @@ -277,6 +280,7 @@ private Default_Warnings : constant Warnings_Setting := (Warnid_Library | Warnid_Binding | Warnid_Port | Warnid_Shared | Warnid_Runtime_Error | Warnid_Pure | Warnid_Specs | Warnid_Hide + | Warnid_Pragma | Msgid_Warning => (Enabled => True, Error => False), others => (Enabled => False, Error => False)); |