diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-08-07 07:42:50 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-08-07 10:00:14 +0200 |
| commit | 6ccf73f59f9945974c63a47b5b295a37627fae91 (patch) | |
| tree | 97a8a61b3754a39c395b06c877877bc17e25cef2 | |
| parent | ef5e4cf601e9a63464b7f3438a11287c7565e785 (diff) | |
| download | ghdl-6ccf73f59f9945974c63a47b5b295a37627fae91.tar.gz ghdl-6ccf73f59f9945974c63a47b5b295a37627fae91.tar.bz2 ghdl-6ccf73f59f9945974c63a47b5b295a37627fae91.zip | |
vhdl-sem.adb: lexical conformance is now a relaxed error. Fix #2165
| -rw-r--r-- | src/errorout.ads | 4 | ||||
| -rw-r--r-- | src/vhdl/vhdl-sem.adb | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/errorout.ads b/src/errorout.ads index 16515d8af..b4207be4c 100644 --- a/src/errorout.ads +++ b/src/errorout.ads @@ -129,6 +129,9 @@ package Errorout is -- Missing association for a formal. Warnid_No_Assoc, + -- Lexical conformance + Warnid_Conformance, + -- Violation of staticness rules Warnid_Static, @@ -326,6 +329,7 @@ private | Warnid_Deprecated_Option | Warnid_Unexpected_Option | Warnid_Nowrite | Warnid_No_Wait | Warnid_Useless + | Warnid_Conformance | Msgid_Warning => (Enabled => True, Error => False), Warnid_Delta_Cycle | Warnid_Body | Warnid_Static | Warnid_Nested_Comment | Warnid_Universal | Warnid_Port_Bounds diff --git a/src/vhdl/vhdl-sem.adb b/src/vhdl/vhdl-sem.adb index e6c003003..1389cebb1 100644 --- a/src/vhdl/vhdl-sem.adb +++ b/src/vhdl/vhdl-sem.adb @@ -1704,8 +1704,9 @@ package body Vhdl.Sem is begin if not Are_Trees_Equal (Subprg, Spec) then -- FIXME: should explain why it does not conform ? - Error_Msg_Sem - (+Subprg, "body of %n does not conform with specification at %l", + Error_Msg_Sem_Relaxed + (Subprg, Warnid_Conformance, + "body of %n does not conform with specification at %l", (+Subprg, +Spec)); end if; end Check_Conformance_Rules; |