Comment by littlestymaar
3 years ago
But you talked about JavaScript, where the “heavy lifting” is in fact “assume that it's always true, and switch back a less optimized version if the assumption turns out to be false”. That's exactly the kind of things you cannot do in C, because people use C in contexts were JIT isn't an option.
Sorry, my general point and my example didn't perfectly match.
For something better matching: have a look at things like Coverity for what you can recover with static analysis of existing C code.