From 761dc6f62aebbe80bb6eb10bc028418bb036e302 Mon Sep 17 00:00:00 2001
From: mikesinouye <mikeinouye@google.com>
Date: Wed, 21 May 2025 15:18:29 -0700
Subject: [PATCH] Allow reading of gzipped files when not in NDEBUG

---
 kernel/gzip.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kernel/gzip.cc b/kernel/gzip.cc
index 6790b536e..24907d8cf 100644
--- a/kernel/gzip.cc
+++ b/kernel/gzip.cc
@@ -127,7 +127,8 @@ std::istream* uncompressed(const std::string filename, std::ios_base::openmode m
 				filename.c_str(), unsigned(magic[2]));
 		gzip_istream* s = new gzip_istream();
 		delete f;
-		log_assert(s->open(filename.c_str()));
+		bool ok = s->open(filename.c_str());
+		log_assert(ok && "Failed to open gzipped file.\n");
 		return s;
 #else
 		log_cmd_error("File `%s' is a gzip file, but Yosys is compiled without zlib.\n", filename.c_str());