@sabik @chrisisgr8 @hailey in this case it looks like one part of the optimiser has noticed there's an infinite loop and removed the return instruction; another part of the optimiser has noticed there's an infinite loop and removed the infinite loop. This is allowed because C++ has some stupid rules.

I believe the intention of infinite loops being UB was to allow the compiler to remove or merge loops in general without proving they halt.