From 551ca7f97f74afb4236bbf76c99a06c450374a90 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Wed, 30 Nov 2022 18:59:55 +0100
Subject: formalff: Fix -ff2anyinit assertion error for fine FFs

---
 passes/sat/formalff.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'passes/sat/formalff.cc')

diff --git a/passes/sat/formalff.cc b/passes/sat/formalff.cc
index 209486a37..b2a91b155 100644
--- a/passes/sat/formalff.cc
+++ b/passes/sat/formalff.cc
@@ -529,12 +529,14 @@ struct FormalFfPass : public Pass {
 						if ((int)bits.size() == ff.val_init.size()) {
 							// This check is only to make the private names more helpful for debugging
 							ff.is_anyinit = true;
+							ff.is_fine = false;
 							emit = true;
 							break;
 						}
 
 						auto slice = ff.slice(bits);
 						slice.is_anyinit = is_anyinit;
+						slice.is_fine = false;
 						slice.emit();
 					}
 				}
-- 
cgit v1.2.3