Apparently #C11 quietly added text disallowing certain kinds of infinite loops. 6.8.5p6. http://port70.net/~nsz/c/c11/n1570.html#6.8.5p6 …
@pikhq Not really. It's needed to allow transformations that move operations across loops in cases where it's hard to prove the loop ends.
-
-
@pikhq Otherwise, moving *p=x; before a loop could be invalid if the original program was only valid by that statement being non-reachable.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.