Pietro Fezzardi 8b0f4e035c RestructureCFG: update deduplicated dummy nodes ...

Before this commit, it could happen that some duplicated dummy node
(used to mark backedges) could be left lingering in wrong regions when
collapsing a regions, if they were first iteration outlined.

This commit fixes the problem, by collecting them and letting
`updateNodes` take care of them, removing them from the containing
region and all its parents.

2024-03-25 18:08:35 +01:00

..

revng-c

RestructureCFG: update deduplicated dummy nodes

2024-03-25 18:08:35 +01:00

CMakeLists.txt

Relicense to MIT

2024-02-29 17:03:36 +01:00