Undefined Behavior: Ghosts in the Fog, or Boundaries of a Model?

This story was originally published on HackerNoon at: https://hackernoon.com/undefined-behavior-ghosts-in-the-fog-or-boundaries-of-a-model.
UB isn't a dark corner of C. It's what happens when a program steps outside its computational model — and the compiler, a perfect executor, follows the math.
Check more stories related to programming at: https://hackernoon.com/c/programming. You can also check exclusive content about #c-programming, #compilers, #undefined-behavior, #software-engineering, #programming-languages, #computational-model, #compiler-explained, #hackernoon-top-story, and more.

This story was written by: @arthurlazdin. Learn more about this writer by checking @arthurlazdin's about page, and for more stories, please visit hackernoon.com.

Undefined Behavior isn't compiler magic or a flaw in the standard. It's what happens when your program steps outside its computational model. The compiler trusts you to stay inside it. When you don't — there's no correct answer. Mathematically.