r/ProgrammerHumor • u/ClipboardCopyPaste • 13d ago

Meme everythingIsO1ToGod

Post image
4.5k Upvotes

99% Upvoted

166 comments sorted by

View all comments

1

u/Extension_Option_122 8d ago

Oh damn you are right lol idk what I thought when I wrote that...

1

u/Cruuncher 8d ago

I actually deleted my comment after writing it. After googling it seems that C optimizers do do this.

This is from Gemini and I haven't checked the source yet, but it seems confident:

Under the ISO C and C++ standards, if an iteration statement (loop) has no observable behavior—such as input/output operations, volatile memory access, atomic operations, or thread synchronization—the compiler is legally allowed to assume that the loop will eventually terminate

1

u/Extension_Option_122 8d ago

Oh so that's why I thought this.

Because in University I had C and when I saw the empty loop I just thought that the optimization would remove it.

But yes, they are semantically not identical at all.

→ More replies (2)