aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-07-16 06:58:14 +0200
committerTristan Gingold <tgingold@free.fr>2019-07-16 19:26:42 +0200
commit68bfc2ebf115c0b92b4aff36fef77dce8376c948 (patch)
tree20051af4afb30c6d9caf2c0b665132a9a76d6a11 /src/vhdl
parentdb958a4299a5b22c6ed6a7ae634e0bbe534708ac (diff)
downloadghdl-68bfc2ebf115c0b92b4aff36fef77dce8376c948.tar.gz
ghdl-68bfc2ebf115c0b92b4aff36fef77dce8376c948.tar.bz2
ghdl-68bfc2ebf115c0b92b4aff36fef77dce8376c948.zip
vhdl: add a comment.
Diffstat (limited to 'src/vhdl')
-rw-r--r--src/vhdl/vhdl-sem_stmts.adb3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_stmts.adb b/src/vhdl/vhdl-sem_stmts.adb
index 02db8418a..4b8c5880c 100644
--- a/src/vhdl/vhdl-sem_stmts.adb
+++ b/src/vhdl/vhdl-sem_stmts.adb
@@ -1759,6 +1759,9 @@ package body Vhdl.Sem_Stmts is
Alt_Label : Name_Id;
begin
Alt_Label := Get_Alternative_Label (Bod);
+ -- LRM08 11.8 Generate statements
+ -- The alternative labels, if any, within an if generate statement or
+ -- a case generate statement shall all be distinct.
if Alt_Label /= Null_Identifier then
-- Declare label. This doesn't appear in the LRM (bug ?), but
-- used here to detect duplicated labels.