From 615e338acd75eb43a50fd276203763d0d55b7592 Mon Sep 17 00:00:00 2001 From: Mike Inouye Date: Fri, 21 Nov 2025 14:10:05 -0800 Subject: [PATCH 1/2] Fix abc_new pass when not in NDEBUG --- passes/techmap/abc_new.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/passes/techmap/abc_new.cc b/passes/techmap/abc_new.cc index 21ffa075b..4a4f3cee8 100644 --- a/passes/techmap/abc_new.cc +++ b/passes/techmap/abc_new.cc @@ -38,7 +38,8 @@ std::vector order_modules(Design *design, std::vector modules sort.edge(submodule, m); } } - log_assert(sort.sort()); + bool sorted = sort.sort(); + log_assert(sorted); return sort.sorted; } From e8cbc92462088abead8776a7494af0bc24f9e702 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Mon, 24 Nov 2025 11:46:09 +0100 Subject: [PATCH 2/2] abc_new: sorted -> is_sorted --- passes/techmap/abc_new.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/passes/techmap/abc_new.cc b/passes/techmap/abc_new.cc index 4a4f3cee8..4e279c577 100644 --- a/passes/techmap/abc_new.cc +++ b/passes/techmap/abc_new.cc @@ -38,8 +38,8 @@ std::vector order_modules(Design *design, std::vector modules sort.edge(submodule, m); } } - bool sorted = sort.sort(); - log_assert(sorted); + bool is_sorted = sort.sort(); + log_assert(is_sorted); return sort.sorted; }