571
with a break statement right? (piefed.cdn.blahaj.zone)
submitted 1 year ago by to c/programmer_humor@programming.dev
36 comments fedilink hide all child comments
 

https://vt.social/@cyan/115530076272254156

you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 1 year ago (1 child)

if its controlling expression is not a constant expression

Pretty big caveat. If I'm reading this right true definitely qualifies as a constant expression and the loop in the meme would therefore not be optimized away.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 2 points 1 year ago

    There's also this part of the standard that throws a wrench into this hypothesis:

    §5.1.2.3/4: (Program execution, Observable behavior):

    Accesses to volatile objects and calls to library I/O functions are observable behavior. The implementation may perform any transformation of a program, provided that the resulting program’s observable behavior is not changed.

    So it seems that running forever isn't an observable property that must be preserved when code is transformed.

    Still, I think compilers try to not surprise the developer too badly and would recognize a trivial loop most of the time.

  • permalink
  • fedilink
  • source
  • parent