Remove dead 'copy' commands.

For some reason dead code elimination pass simply ignored 'copy' commands
and removed only dead 'save' commands. Strange as it seems, this went
unnoticed until now (when one of the POSIX tests compiled into C++ code
that triggered GCC warning about use of uninitialized variable).

diff --git a/re2c/src/ir/dfa/cfg/dce.cc b/re2c/src/ir/dfa/cfg/dce.cc
index 78bc517fba80b6d22654dac4b0c0da232871f93c..a19d502e26457664509e8feb4acda6d4f1978cec 100644 (file)
--- a/re2c/src/ir/dfa/cfg/dce.cc
+++ b/re2c/src/ir/dfa/cfg/dce.cc
@@ -17,6 +17,13 @@ void cfg_t::dead_code_elimination(cfg_t &cfg, const bool *live)
                                ps = &s->next;
                        }
                }
+               for (tagcopy_t *c, **pc = &b->cmd->copy; (c = *pc);) {
+                       if (!live[c->lhs]) {
+                               *pc = c->next;
+                       } else {
+                               pc = &c->next;
+                       }
+               }
        }
 }