From 3f1fbfdaee9049c0c274e73032e09266d6a36525 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 11 Feb 2026 12:16:02 +0100
Subject: [PATCH] blifparse: add bounds check

---
 frontends/blif/blifparse.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/blif/blifparse.cc b/frontends/blif/blifparse.cc
index 30512d324..350d7cafe 100644
--- a/frontends/blif/blifparse.cc
+++ b/frontends/blif/blifparse.cc
@@ -629,6 +629,7 @@ void parse_blif(RTLIL::Design *design, std::istream &f, IdString dff_name, bool
 							goto try_next_value;
 					}
 				}
+				log_assert(i < lutptr->size());
 				lutptr->set(i, !strcmp(output, "0") ? RTLIL::State::S0 : RTLIL::State::S1);
 			try_next_value:;
 			}