https://github.com/immunant/c2rust:

> We rely on Emscripten's Relooper algorithm to translate arbitrary C control flows.

Article on why Relooper isn't good enough and the superior Stackifier algorithm, which they probably should be using instead:

https://medium.com/leaningtech/solving-the-structured-contro...