From 55f28c3f2473cf41f83ae63ef52223e8cbfe9016 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 17 Feb 2020 18:37:36 +0100
Subject: synth: allow constant condition for if-generate statement.

For #1076
---
 src/synth/synth-stmts.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index fbca6e852..88501a684 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -2869,6 +2869,7 @@ package body Synth.Stmts is
          Icond := Get_Condition (Gen);
          if Icond /= Null_Node then
             Cond := Synth_Expression (Syn_Inst, Icond);
+            Strip_Const (Cond);
             pragma Assert (Cond.Kind = Value_Discrete);
          else
             --  It is the else generate.
-- 
cgit v1.2.3