mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
ffd8710492
We used not to put CSVs in `declarations-only`, since `lift` is able to create them. However, this led to have less CSVs than those we get post-inlining (some are only used in helpers). This represents a problem since sometimes we ignore non-existing registers.