Remix.run Logo
mitxela an hour ago

The original UB was to allow the compiler to merge two loops without proving termination.