synth-values: handle value_const for is_equal.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb
index 2bbe7dd97..610d15d75 100644
--- a/src/synth/synth-values.adb
+++ b/src/synth/synth-values.adb
@@ -114,6 +114,9 @@ package body Synth.Values is
       if L.Kind /= R.Kind then
          return False;
       end if;
+      if L = R then
+         return True;
+      end if;
 
       case L.Kind is
          when Value_Discrete =>
@@ -128,6 +131,8 @@ package body Synth.Values is
                end if;
             end loop;
             return True;
+         when Value_Const =>
+            return Is_Equal (L.C_Val, R.C_Val);
          when others =>
             --  TODO.
             raise Internal_Error;