abc9: warning message if no modules selected

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index f4a89efffa1d85debefd110bee7691cc3761d3f6..2aeda16d611686ae7308d0f833fb3405ccf94d91 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -234,6 +234,12 @@ struct Abc9Pass : public ScriptPass
                }
                extra_args(args, argidx, design);
 
+               log_assert(design);
+               if (design->selected_modules().empty()) {
+                       log_warning("No modules selected for ABC9 techmapping.\n");
+                       return;
+               }
+
                log_header(design, "Executing ABC9 pass.\n");
                log_push();