> In C, I'm pretty confident the loop is defined by the standard to terminate. H... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		thaumasiotes 20 days ago \| parent \| context \| favorite \| on: You can't fool the optimizer > In C, I'm pretty confident the loop is defined by the standard to terminate. Huh? What's that supposed to mean?

gfaster 18 days ago [–]

That it is Undefined Behavior for a loop with a non-constant conditional and that doesn't cause side effects in its body to not terminate.

For example, you can use this make the compiler "prove" the Collatz Conjecture:

https://gcc.godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(file...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact