Reportedly #clang applies this concept to loops constructed with goto+if, which seems to be non-conforming.
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 …
-
-
-
Waiting for confirmation; if confirmed a bug report should be filed.
End of conversation
New conversation -
-
-
@RichFelker That's just bizarre. -
@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.
End of conversation
New conversation -
-
-
@RichFelker I can specify -c99 in perpetuity. I'm ok with doing this.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.