3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-22 01:49:45 +00:00

Merge pull request #5819 from YosysHQ/xprop_ignore_scopeinfo

xprop: ignore $scopeinfo cells
This commit is contained in:
N. Engelhardt 2026-04-21 09:31:44 +00:00 committed by GitHub
commit 2da90a5ad6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -463,6 +463,10 @@ struct XpropWorker
return;
}
if (cell->type.in(ID($scopeinfo))) {
return;
}
log_warning("Unhandled cell %s (%s) during maybe-x marking\n", log_id(cell), log_id(cell->type));
mark_outputs_maybe_x(cell);
}