rzvxa 3c7ee85ce4 improvement(semantic/cfg): better break and continue flow. (#3462) ... This PR adds a new edge type called `Jump` to distinguish between normal edges and jumps. There is also a control flow context which is used to keep track of cfg scopes and labels. It replaces the old `preserve_state` and `restore_state`. It corrects some mistakes - such as labeled blocks especially labeled continue which wasn't easy to implement with the old approach - in the old control flow but other than that it is mostly refactored to have a more declarative API instead of a procedural approach.		2024-06-06 07:55:31 +00:00
..
integration	improvement(semantic/cfg): better break and continue flow. (#3462)	2024-06-06 07:55:31 +00:00