Do not warn on empty selection with prefixed `arg_memb`.

Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>

diff --git a/passes/cmds/select.cc b/passes/cmds/select.cc
index fc693d20ecc2f7e8689a6e4f1bc855a256e3a37e..b64b077e4ca191633874444610e09374d71cc32a 100644 (file)
--- a/passes/cmds/select.cc
+++ b/passes/cmds/select.cc
@@ -775,7 +775,8 @@ static void select_stmt(RTLIL::Design *design, std::string arg, bool disable_emp
                        arg_mod = arg.substr(0, pos);
                        if (!prefixed) arg_mod_found[arg_mod] = false;
                        arg_memb = arg.substr(pos+1);
-                       if (!prefixed) arg_memb_found[arg_memb] = false;
+                       bool arg_memb_prefixed = GetSize(arg_memb) >= 2 && isalpha(arg_memb[0]) && arg_memb[1] == ':';
+                       if (!arg_memb_prefixed) arg_memb_found[arg_memb] = false;
                }
        }
 

diff --git a/tests/select/no_warn_prefixed_arg_memb.ys b/tests/select/no_warn_prefixed_arg_memb.ys
new file mode 100644 (file)
index 0000000..596a6ed
--- /dev/null
+++ b/tests/select/no_warn_prefixed_arg_memb.ys
@@ -0,0 +1,5 @@
+logger -expect-no-warnings
+read_verilog ../../examples/igloo2/example.v
+hierarchy
+proc
+select example/t:$add