alt Hacker NewsSo the compiler could have debug mode where it checks the invariants and release mode where it assumes they are true and optimizes around that without checking?
So the compiler could have debug mode where it checks the invariants and release mode where it assumes they are true and optimizes around that without checking?
Yes, and that same pattern already does exist in C and C++. Asserts that are checked in debug builds but presumed true for optimization in release builds.