mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-29 18:52:30 +00:00
Code Activity

opt_merge: fix dangling pointers in known_cells when keep attribute is used

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-03-10 13:02:49 +01:00
parent 33bfc9d19c
commit 1d773b50a4
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/opt/opt_merge.cc
View file

@ -154,7 +154,7 @@ struct OptMergeWorker
bool compare_cell_parameters_and_connections(const RTLIL::Cell *cell1, const RTLIL::Cell *cell2) const bool compare_cell_parameters_and_connections(const RTLIL::Cell *cell1, const RTLIL::Cell *cell2) const
{ {
log_assert(cell1 != cell2); if (cell1 == cell2) return true;
if (cell1->type != cell2->type) return false; if (cell1->type != cell2->type) return false;
if (cell1->parameters != cell2->parameters) if (cell1->parameters != cell2->parameters)
@ -313,6 +313,8 @@ struct OptMergeWorker
if (cell->has_keep_attr()) { if (cell->has_keep_attr()) {
if (other_cell->has_keep_attr()) if (other_cell->has_keep_attr())
continue; continue;
known_cells.erase(other_cell);
known_cells.insert(cell);
std::swap(other_cell, cell); std::swap(other_cell, cell);
} }