Files
Pietro Fezzardi 48749974f0 IDS: simplifyTerminator doesn't merge default
With this commit, the `simplifyTerminator` helper function used by IDS
stops trying to merge the default cases with one of the other cases
arbitrarily.
Now, if the `UnreachableSuccessor` was reached via the default case, the
default case is still arbitrarily redirected to an arbitrary case
successor, but the case and the default do not get merged.
This keeps the logic of the transform simpler, and also allows for
easier successive manipulation by planned upcoming transforms.
2025-11-06 13:32:56 +01:00
..
2024-11-21 10:50:55 +01:00
2025-06-26 09:34:26 +02:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-02-29 17:03:36 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2025-10-08 12:22:30 +03:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00