vhdl-evaluation: add a comment

1 files changed, 7 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-evaluation.adb b/src/vhdl/vhdl-evaluation.adb
index babd3fef6..0486b8808 100644
--- a/src/vhdl/vhdl-evaluation.adb
+++ b/src/vhdl/vhdl-evaluation.adb
@@ -345,6 +345,13 @@ package body Vhdl.Evaluation is
       Set_Right_Limit (A_Range, Right);
    end Set_Right_Limit_By_Length;
 
+   --  LRM08 9.3.2 Literals
+   --  If there is a value to the left of the nominal leftmost bound (given by
+   --  the 'LEFTOF) attribute, then the leftmost bound is the nominal leftmost
+   --  bound, and the rightmost bound is the value to the left of the nominal
+   --  leftmost bound.  Otherwise, the leftmost bound is the value to the
+   --  right of the nominal leftmost bound, and the rightmost bound is the
+   --  nominal leftmost bound.
    procedure Set_Enumeration_Null_Range_Limits (A_Range : Iir)
    is
       A_Type : constant Iir := Get_Type (A_Range);