From 257309de4112f0f9ea5712669e840834feb3f066 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 24 Jul 2019 05:19:45 +0200
Subject: vhdl scanner: handle pragma translate_on/translate_off.

---
 src/errorout.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/errorout.ads')

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));
 
-- 
cgit v1.2.3