From bd26e10bc1d31cf0a781371710ef3be46bb23a4c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 13 Nov 2019 18:33:33 +0100
Subject: synth-stmts: handle constant exit in for-loops.

---
 src/synth/synth-stmts.adb | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/synth/synth-stmts.adb')

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index 227ae00b3..cd9bee0d7 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -1794,8 +1794,12 @@ package body Synth.Stmts is
 
       while In_Range (It_Rng.Drange, Val.Scal) loop
          Synth_Sequential_Statements (C, Stmts);
+
          Update_Index (It_Rng.Drange, Val.Scal);
          Loop_Control_Update (C);
+
+         --  Constant exit.
+         exit when Get_Current_Value (null, C.W_En) = Get_Inst_Bit0 (C.Inst);
       end loop;
       Loop_Control_Finish (C);
 
-- 
cgit v1.2.3