mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Massimo Fioravanti
bd38120b1b
The invalidation map passed by callers of pipeline invalidate was assumed to be always empty. This requirement has been relaxed. The pipe invalidation cache now checks that what must be removed is actually present. This is relevant for targets that are killed by later pipes before the end of the step.