mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
a2364bc6a0
This commit makes sure that GeneratedCodeBasicInfo can be used even in absence of the `root`. This also ensure that no time is wasted on brief/focused pipelines that do not care about analyzing each basic block in the `root` function.