> OT: Are there any memory safe languages that that are fast and support goto? Irreducible control flow is a pain for static analysis. > Writing those without

> OT: Are there any memory safe languages that that are fast and support goto? Irreducible control flow is a pain for static analysis. > Writing those without goto tends to require duplicating code This feels like a regular old state machine to me, which obviously is nice to write with goto, but isn't required.