That's patently false, or we wouldn't resort to all kinds of tricks to convince ...

ncruces 4 months ago | parent | context | favorite | on: The CompCert C Compiler

That's patently false, or we wouldn't resort to all kinds of tricks to convince the (moderately smart) Go compiler to elide bounds checks (that we know to be unnecessary) from inner loops where they degrade performance significantly.